scientific article
From MaRDI portal
Publication:4000509
zbMATH Open0899.68057MaRDI QIDQ4000509
Publication date: 23 January 1993
Title of this publication is not available (Why is that?)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Title not available (Why is that?) ⋮ Specification and design methodology for real-time embedded systems ⋮ Formal Modeling and Analysis of Timed Systems ⋮ Transformational design of real-time systems. I: From requirements to program specifications
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 Q4000509)
