Bringing Coq into the World of GCM Distributed Applications
Gaspar, Nuno, Henrio, Ludovic, Madelaine, EricVolume:
42
Language:
english
Journal:
International Journal of Parallel Programming
DOI:
10.1007/s10766-013-0264-7
Date:
August, 2014
File:
PDF, 596 KB
english, 2014