| Original language | American English |
|---|---|
| Title of host publication | Parallel and Distributed Processing Techniques and Applications |
| State | Published - 2000 |
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