A
Ahmed Bouajjani
5 works on record
Works
Automated Technology for Verification and Analysis
Networked Systems
Verification, Model Checking, and Abstract Interpretation
Formal Techniques for Disributed Objects, Components, and Systems
Formal Techniques for Disributed Objects, Components, and Systems
2017
Computer Aided Verification
Computer Aided Verification