Time for verification essays in memory of Amir Pnueli - Manna, Zohar; Peled, Doron A.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Computer software -- Verification