Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout. Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. In Christine Tasson, David Baelde, editors, 25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014. pages 17-32, 2014.
@inproceedings{ConchonDMM14,
title = {Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières},
author = {Sylvain Conchon and David Declerck and Luc Maranget and Alain Mebsout},
year = {2014},
researchr = {https://researchr.org/publication/ConchonDMM14},
cites = {0},
citedby = {0},
pages = {17-32},
booktitle = {25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014},
editor = {Christine Tasson and David Baelde},
}