Opening book details…
About this Computer Science article
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study by Affeldt, Reynald; Kobayashi, Naoki; Yonezawa, Akinori is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Affeldt, Reynald; Kobayashi, Naoki; Yonezawa, Akinori
- Publisher
- Information Processing Society of Japan (ISSN 1349-7456)
- Published
- 2005
- Language
- EN
- Field
- Computer Science (Physical Sciences)
More by Affeldt, Reynald; Kobayashi, Naoki; Yonezawa, Akinori
Browse all works by Affeldt, Reynald; Kobayashi, Naoki; Yonezawa, Akinori