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