Synthesizing certified code (2002)

by M Whalen, J Schumann, B Fischer
Venue:In Proc. Formal Methods Europe (FME 2002