scientific article; zbMATH DE number 139966

zbMATH Open0800.94308MaRDI QIDQ4028317FDOQ4028317

Authors: James B. Saxe, Stephen J. Garland, J. J. Horning, John Guttag 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Fault detection; testing in circuits and networks (94C12)

Cited In (1)

• Gordon's computer: A hardware verification case study in OBJ3

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028317)