Vingerafdruk
Duik in de onderzoeksthema's van 'Concise Guide to Software Verification: From Model Checking to Annotation Checking'. Samen vormen ze een unieke vingerafdruk.- Sorteer per
- Gewicht
- Alfabetische volgorde
Concise Guide to Software Verification: From Model Checking to Annotation Checking
Marieke Huisman, Anton Wijs
Onderzoeksoutput: Boek/rapport › Boek › Academic