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
Powered by Trac 1.0.1
By Edgewall Software.
Visit the Trac open source project at
http://trac.edgewall.org/