scientific article; zbMATH DE number 3649969
From MaRDI portal
Publication:3208064
zbMATH Open0417.68010MaRDI QIDQ3208064FDOQ3208064
Authors: Tomasz Müldner 
Publication date: 1979
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) Theory of operating systems (68N25)
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 Q3208064)
