Bringing Coq into the World of GCM Distributed Applications.
In: International Journal of Parallel Programming, Jg. 42 (2014-08-01), Heft 4, S. 643-662
Online
academicJournal
Zugriff:
Titel: |
Bringing Coq into the World of GCM Distributed Applications.
|
---|---|
Autor/in / Beteiligte Person: | Gaspar, Nuno ; Henrio, Ludovic ; Madelaine, Eric |
Link: | |
Zeitschrift: | International Journal of Parallel Programming, Jg. 42 (2014-08-01), Heft 4, S. 643-662 |
Veröffentlichung: | 2014 |
Medientyp: | academicJournal |
ISSN: | 0885-7458 (print) |
DOI: | 10.1007/s10766-013-0264-7 |
Sonstiges: |
|