Time For Verification Essays In Memory Of Amir Pnueli | lit.salon