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