Ebook: Concise Guide to Software Verification. From Model Checking to Annotation Checking
Author: Marieke Huisman Anton Wijs
- Series: Texts in Computer Science
- Year: 2023
- Publisher: Springer
- Language: English
- pdf
Download the book Concise Guide to Software Verification. From Model Checking to Annotation Checking for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)