Books by Marieke Huisman
Filter
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Marieke Huisman - Hardcover
Published:
2023