scientific article; zbMATH DE number 3827165
From MaRDI portal
Publication:3673064
zbMATH Open0522.68005MaRDI QIDQ3673064FDOQ3673064
Author name not available (Why is that?)
Publication date: 1983
Title of this publication is not available (Why is that?)
General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
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 Q3673064)
