Software Verification and Analysis
From MaRDI portal
Publication:5503618
DOI10.1007/978-1-84882-240-5zbMath1169.68007OpenAlexW1642730893MaRDI QIDQ5503618
William C. Stanley, Janusz Laski
Publication date: 15 January 2009
Full work available at URL: https://doi.org/10.1007/978-1-84882-240-5
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)
Uses Software