David J Greaves

David J Greaves

University of Cambridge, Computer Laboratory
在 cl.cam.ac.uk 的电子邮件经过验证
被引用次数：1196
Compiler design logic synthesis automated proof
Steve Riddle

Steve Riddle

Newcastle University
在 ncl.ac.uk 的电子邮件经过验证
被引用次数：678
Computing Pedagogy Automated Proof Automated Testing Requirements Engineering Code Quality