scientific article
From MaRDI portal
Publication:3996818
zbMath0705.68006MaRDI QIDQ3996818
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ProceedingsWorkshopSpecificationVerificationSynthesisVLSI-designCalgary (Canada)hardware verification and specification. VLSIhigher order logic system
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Circuits, networks (94C99) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (3)
Abstraction of hardware construction ⋮ The foundation of a generic theorem prover ⋮ Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
This page was built for publication:
