Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant tifact “Every block of stone has a statue inside it and it is the task of the sculptor to discover it.”

First Page		Document Content
Date: 2014-11-16 16:27:57		Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant tifact “Every block of stone has a statue inside it and it is the task of the sculptor to discover it.” Add to Reading List Source URL: pit-claudel.fr Download Document from Source Website File Size: 433,31 KB Share Document on Facebook