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

First Page		Document Content
Date: 2014-01-13 12:02:51		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: cubicle.lri.fr Download Document from Source Website File Size: 397,67 KB Share Document on Facebook