An empirical evaluation of automated theorem provers in software certification (2006)

by Ewen Denney, Bernd Fischer, Johann Schumann
Venue:International Journal on Artificial Intelligence Tools