Title: Time For Verification Essays In Memory Of Amir Pnueli
Subjects: Logic design, Computer science, Verification, Computer software