Skip to main navigation Skip to search Skip to main content

Using functional languages in formal methods: The PET system

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