Using functional languages in formal methods: The PET system

Original language	American English
Title of host publication	Parallel and Distributed Processing Techniques and Applications
State	Published - 2000

Bibliographical note

Place of conference:Las Vegas, NE, USA

Other files and links

• link

Cite this

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Gunter, E. L., & Peled, D. (2000). Using functional languages in formal methods: The PET system. In Parallel and Distributed Processing Techniques and Applications

Gunter, E. L. ; Peled, D. / Using functional languages in formal methods: The PET system. Parallel and Distributed Processing Techniques and Applications. 2000.

@inproceedings{1c4fd7995d2a44f598759a36075daa75,

title = "Using functional languages in formal methods: The PET system",

author = "Gunter, {E. L.} and D. Peled",

note = "Place of conference:Las Vegas, NE, USA",

year = "2000",

language = "American English",

booktitle = "Parallel and Distributed Processing Techniques and Applications",

}

Gunter, EL & Peled, D 2000, Using functional languages in formal methods: The PET system. in Parallel and Distributed Processing Techniques and Applications.

Using functional languages in formal methods: The PET system. / Gunter, E. L.; Peled, D.
Parallel and Distributed Processing Techniques and Applications. 2000.

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

TY - GEN

T1 - Using functional languages in formal methods: The PET system

AU - Gunter, E. L.

AU - Peled, D.

N1 - Place of conference:Las Vegas, NE, USA

PY - 2000

Y1 - 2000

UR - http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.116.5322&rep=rep1&type=pdf

M3 - Conference contribution

BT - Parallel and Distributed Processing Techniques and Applications

ER -

Gunter EL, Peled D. Using functional languages in formal methods: The PET system. In Parallel and Distributed Processing Techniques and Applications. 2000