Structuring hardware proofs: first steps towards automation in a higher-order environment
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1991 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 238591 |
| Erscheinungsvermerk | In: Very large scale integration. Proceedings of the International Conference on Very Large Scale Integration, Edinburgh 1991. London 1991. S. 3a.4.1-3a.4.10. |