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, FranceAdd to Reading ListSource URL: refal.botik.ruDownload Document from Source WebsiteFile Size: 47,67 KBShare Document on Facebook |