Using a Mix of Languages in Formal Methods: The PET System.

Elsa L. Gunter, Doron A. Peled

Browse the full PDPTA paper archive.