Non abbiamo ancora una biografia di Doron Peled.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Computer aided verification
2003
Automated Technology for Verification and Analysis
2016
Model Checking, Second Edition
2018
Otium
