Software Verification and Analysis
From MaRDI portal
Publication:5503618
DOI10.1007/978-1-84882-240-5zbMath1169.68007MaRDI QIDQ5503618
Janusz Laski, William C. Stanley
Publication date: 15 January 2009
Full work available at URL: https://doi.org/10.1007/978-1-84882-240-5
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software