Synthesizing certified code

Michael Whalen, Johann Schumann, Bernd Fischer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Scopus citations
Original languageUndefined/Unknown
Title of host publicationInternational Symposium of Formal Methods Europe
Pages431-450
Number of pages20
StatePublished - 2002

Cite this