Time for Verification Essays in Memory of Amir Pnueli - Manna, Zohar; Peled, Doron A.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Computer science; Logic design; Computer Science; Programming Techniques; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Logics and Meanings of Programs