V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 - Paris-Saclay - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-07-21 11:03:15		V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay Add to Reading List Source URL: mebsout.github.io Download Document from Source Website File Size: 397,67 KB Share Document on Facebook