scientific article; zbMATH DE number 1045394
From MaRDI portal
Publication:4347151
zbMATH Open0868.00062MaRDI QIDQ4347151FDOQ4347151
Author name not available (Why is that?)
Publication date: 7 August 1997
Title of this publication is not available (Why is that?)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
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 Q4347151)
