返回导师列表
WH

Warren Hunt Jr.

Professor

University of Texas at Austin · United States
Bioinformatics and Computational BiologyComputer ArchitectureFormal MethodsX86 Specification in ACL2Hash CONSFunction MemoizationFast Association ListsFormal Hardware Description Languages

简介

Anna Slobodova, Warren Hunt Jr. May 2, 2017. Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications. Cornell University. Ithaca, New York.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。