Ewen Denney, Bernd Fischer, Johann Schumann. An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools, 15(1):81-108, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.