scientific article; zbMATH DE number 2034245
From MaRDI portal
Publication:4444893
zbMATH Open1052.68632MaRDI QIDQ4444893FDOQ4444893
Authors: M. Yu. Gurbar'Kov, M. V. Kuchuganov 
Publication date: 28 January 2004
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 Q4444893)
