
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science) (PDF/EPUB Version)
$19.99
Description
Author: Marieke Huisman, Anton Wijs
Series:
Publisher: Springer
Year: 2023
Edition: 1st ed. 2023
Language: English
ISSN: