Login
Preferences
Help/Guide
About Trac
Wiki
wiki:
WikiStart
Context Navigation
Start Page
Index
History
Dependable Parallel and Cloud Computing - Certified Parallel Program Calculation in Coq
Authors
Kento Emoto
Zhenjiang Hu
Frédéric Loulergue
Julien Tesson
Last modified
4 years ago
Last modified on Feb 27, 2014, 10:22:38 AM
Download in other formats:
Plain Text