Manna, Zohar Peled, Doron A
Time for verification Essays in memory of Amir Pnueli - New york Springer 2010 - 399 - Lecture notes in computer science; 06200 .
9783642137532
681 LNCS
Time for verification Essays in memory of Amir Pnueli - New york Springer 2010 - 399 - Lecture notes in computer science; 06200 .
9783642137532
681 LNCS