Computational soundness of static equivalence V´eronique Cortier1 , Steve Kremer2 , and Pascal Lafourcade3 1 LORIA, CNRS - Soundness - Document - PDFSEARCH.IO

First Page	Meta Content
	Computational soundness of static equivalence V´eronique Cortier1 , Steve Kremer2 , and Pascal Lafourcade3 1 LORIA, CNRS & INRIA LSV, CNRS & ENS Cachan & INRIA Add to Reading List Document Date: 2010-03-25 09:09:53 Open Document File Size: 1.007,60 KB Share Result on Facebook

Computational soundness of static equivalence V´eronique Cortier1 , Steve Kremer2 , and Pascal Lafourcade3 1 LORIA, CNRS & INRIA LSV, CNRS & ENS Cachan & INRIAAdd to Reading List