Doron A. Peled

Model checking

2018

Software Reliability Methods

2013

Time For Verification Essays In Memory Of Amir Pnueli

2010

Software Reliability Methods (Texts in Computer Science)

2001