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

First Page		Document Content
Date: 2018-03-19 17:25:59		Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France Add to Reading List Source URL: refal.botik.ru Download Document from Source Website File Size: 47,67 KB Share Document on Facebook