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