( en | de | ru )

 

Disambiguation of "Gordon, Michael J. C."

Author of the publication

copydeleteadd this publication to your clipboard
Experience with Embedding Hardware Description Languages in HOL.

, , , , , and . TPCD, volume A-10 of IFIP Transactions, page 129-156. North-Holland, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

C J Schumacher

J C Kämmer

Michael Gordon

Michael Gordon

Michael Gordon

 

Other publications of authors with the same name

A Verifier and Timing Analyser for Simple Imperative Programs (Abstract).. CAV, volume 697 of Lecture Notes in Computer Science, page 320. Springer, (1993)Hoare Logic for ARM Machine Code., , and . FSEN, volume 4767 of Lecture Notes in Computer Science, page 272-286. Springer, (2007)PuzzleTool : An Example of Programming Computation and Deduction.. TPHOLs, volume 2410 of Lecture Notes in Computer Science, page 214-229. Springer, (2002)Programming Combinations of Deduction and BDD-based Symbolic Calculation.. LMS J. Comput. Math., (2002)Z and HOL., and . Z User Workshop, page 141-167. Springer/BCS, (1994)Validating the PSL/Sugar Semantics Using Automated Reasoning.. Formal Aspects Comput., 15 (4): 406-421 (2003)Reachability Programming in HOL98 Using BDDs.. TPHOLs, volume 1869 of Lecture Notes in Computer Science, page 179-196. Springer, (2000)Edinburgh LCF, , and . Lecture Notes in Computer Science Springer, (1979)Set Theory, Higher Order Logic or Both?. TPHOLs, volume 1125 of Lecture Notes in Computer Science, page 191-201. Springer, (1996)Specification and Verification of ARM Hardware and Software., , and . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)