scientific article; zbMATH DE number 1858003
From MaRDI portal
Publication:4788971
zbMATH Open1006.03520MaRDI QIDQ4788971FDOQ4788971
Authors: Vladimir Ivanovich Shalak 
Publication date: 17 March 2003
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
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 Q4788971)
