Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France - Formal languages - Document - PDFSEARCH.IO

First Page	Meta Content
	Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France Add to Reading List Document Date: 2018-03-19 17:25:59 Open Document File Size: 47,67 KB Share Result on Facebook

Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France Add to Reading List