Wiki Agenda Contact Version française

Publications : David Declerck

Back
[1] Sylvain Conchon, David Declerck, Luc Maranget, and Alain Mebsout. V√©rification de programmes C concurrents avec Cubicle : Enfoncer les barri√®res. In Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Fréjus, France, January 2014. [ bib | full text on HAL ]

Back
This page was generated by bibtex2html.