DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
https://hal.inria.fr/hal-00907801
Contributeur : Francesco Zappa Nardelli
<>
Soumis le : jeudi 21 novembre 2013 - 17:41:50
Dernière modification le : vendredi 25 mai 2018 - 12:02:06
Jaroslav Sevcik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell. Relaxed-memory concurrency and verified compilation. POPL, Jan 2011, Austin, TX, United States. 2011. 〈hal-00907801〉
