scientific article; zbMATH DE number 3612417
From MaRDI portal
Publication:4176941
zbMATH Open0394.68010MaRDI QIDQ4176941FDOQ4176941
Authors: Christopher J. Hogger 
Publication date: 1978
Title of this publication is not available (Why is that?)
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Abstract data types; algebraic specification (68Q65)
Cited In (1)
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 Q4176941)
