The Modal Logic of Programs.

Zohar Manna, Amir Pnueli

Browse the full ICALP paper archive.