Email
Anthony (Tony) G Cohn
Professor of Automated Reasoning, University of Leeds
Verified email at leeds.ac.uk - Homepage