Building Reliable Software from Proofs: Amphion, Deductive Synthesis, and Space

Steve Roach
Department of Computer Science, University of Texas at El Paso; MacKichan Software

Abstract: Click here for an abstract in pdf format.