Synthesizing certified code (2002)

Cached

Download Links

by Michael Whalen , Johann Schumann , Bernd Fischer
Venue:Proc. Intl. Symp. Formal Methods Europe 2002: Formal Methods—Getting IT Right, LNCS 2391
Citations:29 - 15 self