Formal Techniques for Disributed Objects, Components, and SystemsAhmed Bouajjani, Alexandra Silva · First published 2017Open the Tome
Verification, Model Checking, and Abstract InterpretationAhmed Bouajjani, David Monniaux · First published 2017Open the Tome
Automated Technology for Verification and AnalysisWei-Ngan Chin,Ahmed Bouajjani · First published 2011Open the Tome
Automated Technology for Verification and AnalysisAhmed Bouajjani · First published 2010Open the Tome
