Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
| Faculty/Professorship: | 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 |
| Type: | Contribution to an Articlecollection |
| URI: | https://fis.uni-bamberg.de/handle/uniba/44287 |
| Year of publication: | 13. August 2018 |
| File | Size | Format | |
|---|---|---|---|
| Constrained_ProofOCR_A3a.pdf | 1.52 MB | View/Open |
originated at the
University of Bamberg
University of Bamberg
