A Coq Library for Verification of Concurrent Programs
In: Electronic Notes in Theoretical Computer Science, Jg. 199 (2008-02-24), S. 17-32
Online
academicJournal
Titel: |
A Coq Library for Verification of Concurrent Programs
|
---|---|
Autor/in / Beteiligte Person: | Affeldt, Reynald ; Kobayashi, Naoki |
Link: | |
Zeitschrift: | Electronic Notes in Theoretical Computer Science, Jg. 199 (2008-02-24), S. 17-32 |
Veröffentlichung: | 2008 |
Medientyp: | academicJournal |
ISSN: | 1571-0661 (electronic) |
DOI: | 10.1016/j.entcs.2007.11.010 |
Sonstiges: |
|