![](https://www.pdfsearch.io/img/dc8d69e2485e5c54e65fd0a880e298d8.jpg) 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 ListSource URL: cubicle.lri.frDownload Document from Source Website File Size: 397,67 KBShare Document on Facebook
|