TY  - BOOK
AU  - Manna,Zohar
AU  - Peled,Doron A.
ED  - SpringerLink (Online service)
TI  - Time for verification: essays in memory of Amir Pnueli 
SN  - 9783642137549 (electronic bk.)
AV  - QA76.76.V47 T56 2010
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Computer software
KW  - Verification
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-13754-9
ER  -