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 SaclayAdd to Reading ListSource URL: cubicle.lri.frDownload Document from Source WebsiteFile Size: 397,67 KBShare Document on Facebook |