Using automated theorem provers to certify auto-generated aerospace software (2004)

by Ewen Denney , Bernd Fischer , Johann Schumann
Venue:In Proc. of Int. Joint Conf. On Automated Reasoning (IJCAR’04), volume 3097 of LNCS
Citations:22 - 6 self