Mike Gordon

Available identifiers

zbMath Open gordon.mike-jMaRDI QIDQ1566865

List of research outcomes

Publication	Date of Publication	Type
Forward with Hoare	2010-10-26	Paper
Executing the formal semantics of the Accellera property specification language by mechanised theorem proving	2010-02-05	Paper
Twenty Years of Theorem Proving for HOLs Past, Present and Future	2008-12-04	Paper
Proof producing synthesis of arithmetic and cryptographic hardware	2007-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q3024857	2005-07-04	Paper
Christopher Strachey: Recollections of his influence	2000-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q3753927	1986-01-01	Paper

Research outcomes over time

This page was built for person: Mike Gordon