( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Introduction to a Formally Defined Hardware Description Language.

, , и . TPCD, том A-10 из IFIP Transactions, стр. 3-35. 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.

Patrick Hunt

Foued Jrad

Daniel Warren

Warren Chan

Bruce Hunt

 

Другие публикации лиц с тем же именем

Mechanized Information Flow Analysis through Inductive Assertions., , , и . FMCAD, стр. 1-4. IEEE, (2008)Meta Reasoning in ACL2., , , , и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2005)Formalization of the DE2 Language., и . CHARME, том 3725 из Lecture Notes in Computer Science, стр. 20-34. Springer, (2005)DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs., , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 422-429. Springer, (2014)Verifying Refutations with Extended Resolution., , и . CADE, том 7898 из Lecture Notes in Computer Science, стр. 345-359. Springer, (2013)Mechanical Verification of SAT Refutations with Extended Resolution., , и . ITP, том 7998 из Lecture Notes in Computer Science, стр. 229-244. Springer, (2013)Function memoization and unique object representation for ACL2 functions., и . ACL2, стр. 81-89. ACM, (2006)Engineering a Formal, Executable x86 ISA Simulator for Software Verification., , и . Provably Correct Systems, Springer, (2017)A formal model of a large memory that supports efficient execution., и . FMCAD, стр. 60-67. IEEE, (2012)Using mathematics on an industrial scale.. ISAIM, (2010)