Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman
Bok · Engelsk · 2023

Utgitt	Springer Nature (Textbooks & Major Reference Works) , 2023
ISBN	3-031-30167-6