Dublin Core
Title
Concise Guide to Software Verification. From Model Checking to Annotation Checking
Creator
Marieke Huisman, Anton Wijs
Subject
Software Engineering
Publisher
Springer
Date
2023
Format
PDF
Language
English