Doron A. Peled profile picture

Doron A. Peled

Is this your author profile? Create an account to customize it!

Stand Alone

Automated Technology for Verification and Analysis
Time For Verification Essays In Memory Of Amir Pnueli
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Software Reliability Methods
Software Reliability Methods
Software Reliability Methods
Software Reliability Methods
Engineering Dependable Software Systems
Time for Verification Essays in Memory of Amir Pnueli