On the Faithfulness of Formal Models.

Zohar Manna, Amir Pnueli

Browse the full MFCS paper archive.