Doron A. Peled Zohar Manna books & textbook

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science) (2010-09-10)

Doron A. Peled Zohar Manna

Springer /1676-01-01 Paperback