Gordon's computer: A hardware verification case study in OBJ3 (Q1329091)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Gordon's computer: A hardware verification case study in OBJ3 |
scientific article; zbMATH DE number 597821
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gordon's computer: A hardware verification case study in OBJ3 |
scientific article; zbMATH DE number 597821 |
Statements
Gordon's computer: A hardware verification case study in OBJ3 (English)
0 references
29 June 1994
0 references
algebraic specification
0 references
hardware verification
0 references
hardware specification
0 references
OBJ3
0 references
Gordon's computer
0 references
