Specification of software systems.
From MaRDI portal
Publication:625100
DOI10.1007/978-0-85729-277-3zbMath1243.68001MaRDI QIDQ625100
Publication date: 14 February 2011
Published in: Texts in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-0-85729-277-3
temporal logic; Z; abstraction; Object-Z; B; formal specifications; CCS; VDM; domain models; Larch; model-based specifications; Obj3; property-oriented specifications
DB lookup for MSC labels failed