Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre. Towards verified cloud computing environments. In Waleed W. Smari, Vesna Zeljkovic, editors, 2012 International Conference on High Performance Computing & Simulation, HPCS 2012, Madrid, Spain, July 2-6, 2012. pages 91-97, IEEE, 2012. [doi]
Abstract is missing.