Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016 - French Institute for Research in Computer Science and Automation - Document - PDFSEARCH.IO

First Page	Meta Content
	Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016 Add to Reading List Document Date: 2016-04-05 14:57:15 Open Document File Size: 433,39 KB Share Result on Facebook

Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016Add to Reading List