Computer Aided Verification More Books by Rupak Majumdar & Viktor Kunčak

Principles of Systems Design Principles of Systems Design
Principles of Systems Design
2022
Networked Systems Networked Systems
Networked Systems
2021
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2017
Runtime Verification Runtime Verification
Runtime Verification
2015
Model Checking Software Model Checking Software
Model Checking Software
2008