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

Marieke Huisman, Anton J. Wijs

Research output: Book/ReportBookAcademic

Fingerprint

Dive into the research topics of 'Concise Guide to Software Verification: From Model Checking to Annotation Checking'. Together they form a unique fingerprint.

Computer Science