scientific article

zbMATH Open0794.68020MaRDI QIDQ4028134

Joseph Goguen, S. N. Aloneftis, Victoria Stavridou, S. M. Eker

Publication date: 28 March 1993

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

zbMATH Keywords

theorem provingcomputer hardware description language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (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 Q4028134)