scientific article; zbMATH DE number 3938543
From MaRDI portal
Publication:3709869
zbMATH Open0585.68028MaRDI QIDQ3709869FDOQ3709869
Authors: N. N. Mirenkov 
Publication date: 1985
Title of this publication is not available (Why is that?)
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 Q3709869)
