scientific article; zbMATH DE number 3797160
From MaRDI portal
Publication:4742291
zbMATH Open0505.68008MaRDI QIDQ4742291FDOQ4742291
Authors: Atanas A. Radensky 
Publication date: 1981
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)
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 Q4742291)
