scientific article; zbMATH DE number 3709565
From MaRDI portal
Publication:3900976
zbMATH Open0453.68002MaRDI QIDQ3900976FDOQ3900976
Authors: Georg Winterstein, Manfred Dausmann, Guido Persch 
Publication date: 1980
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) 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)
