Options
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Mendler, Michael (2018): Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification, in: Bamberg: opus, doi: 10.20378/irbo-52666.
Faculty/Chair:
Author:
Publisher Information:
Year of publication:
2018
Pages:
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:
English
Remark:
Retrodigitalisat:
DOI:
Licence:
Keywords:
-
Type:
Conferenceobject
Activation date:
August 13, 2018
Permalink
https://fis.uni-bamberg.de/handle/uniba/44287