scientific article; zbMATH DE number 3709565

MaRDI QIDQ3900976zbMATHFDO

Authors Georg Winterstein, Manfred Dausmann, Guido Persch

Publication date 1980

Mathematics Subject Classification ID

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) Algorithms in computer science (68W99)

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 Q3900976)