Denney, Ewen profile picture

Denney, Ewen

Is this your author profile? Create an account to claim and customize it!

An Empirical Evaluation of Automated Theorem Provers in Software Certification