Using functional languages in formal methods: The PET system

E. L. Gunter, D. Peled

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original languageAmerican English
Title of host publicationParallel and Distributed Processing Techniques and Applications
StatePublished - 2000

Bibliographical note

Place of conference:Las Vegas, NE, USA

Other files and links

Cite this