Skip to content

Home Practice Lessons About

Ahmed Bouajjani

Books

Formal Techniques for Disributed Objects, Components, and Systems
Computer Aided Verification
Networked Systems
Automated Technology for Verification and Analysis
Verification, Model Checking, and Abstract Interpretation

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.