Doron Peled

Books that list Doron Peled among their authors but not as the lead author: co-written works, collections and compilations.

Automated Technology for Verification and AnalysisCyrille Artho

Automated Technology for Verification and Analysis

Cyrille Artho · 2016

Computer aided verificationNicolas Halbwachs

Computer aided verification

Nicolas Halbwachs · 1999

Model Checking, Second EditionOrna Grumberg

Model Checking, Second Edition

Orna Grumberg · 2018