Formal Methods and Tools

UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsBook published: Concise Guide to Software Verification - From Model Checking to Annotation Checking

Book published: Concise Guide to Software Verification - From Model Checking to Annotation Checking by Marieke Huisman (chair FMT) and Anton Wijs (TU/e)

Previous article Next article

Thursday 21 September 2023

See https://link.springer.com/book/10.1007/978-3-031-30167-4

More recent news

Suggestions