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

by Ewen Denney , Bernd Fischer , Johann Schumann
Venue:International Journal of AI tools
Citations:14 - 7 self