Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification





Professorship/Faculty: Foundations of Computer Science  
Author(s): Mendler, Michael
Publisher Information: Bamberg : opus
Year of publication: 2018
Pages: 28
Source/Other editions: Ursprünglich in: Designing Correct Circuits : Workshop jointly organised by the Universities of Oxford and Glasgow, 26-28 September 1990, Oxford / edited by Geraint Jones, Mary Sheeran. - London, 1991. - (Workshops in Computing), Seite 1-28
Year of first publication: 1991
Language(s): English
Remark: Retrodigitalisat
DOI: 10.20378/irbo-52666
Licence: German Act on Copyright 
URN: urn:nbn:de:bvb:473-opus4-526664
Document Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/44287
Year of publication: 13. August 2018

File SizeFormat  
Constrained_ProofOCR_A3a.pdf1.52 MBPDFView/Open