Specifying Software
From MaRDI portal
Publication:4328792
DOI10.1017/CBO9781139164900zbMath1006.68035MaRDI QIDQ4328792
Publication date: 29 April 2002
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Specifying Software
