For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Ewen Denney
Ewen Denney is the author of "GCPE'11" and "An Empirical Evaluation of Automated Theorem Provers in Software Certification".
Books by Ewen Denney
View more
An Empirical Eval...
Denney, Ewen
Paperback:
$14.75
An Empirical Eval...
Denney, Ewen
Paperback:
GCPE'11
Denney Ewen
Hardback:
$28.00