( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Meta Reasoning in ACL2.

, , , , и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2005)

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.

Sybil Whitman

Candace Whitman-Linsen

David Smith

Stephen Smith

Veronica Smith

 

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

Formal Verification of Zero-Knowledge Circuits., , и . ACL2, том 393 из EPTCS, стр. 94-112. (2023)Automatic Formal Verification of Block Cipher Implementations., и . FMCAD, стр. 1-7. IEEE, (2008)Meta Reasoning in ACL2., , , , и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2005)A robust machine code proof framework for highly secure applications., , и . ACL2, стр. 11-20. ACM, (2006)Axe, an automated formal equivalence checking tool for programs.. Stanford University, USA, (2011)Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses., , , и . ACL2, том 393 из EPTCS, стр. 82-93. (2023)