Computer-Aided Reasoning- ACL2 Case Studies

【文件属性】：

文件名称：Computer-Aided Reasoning- ACL2 Case Studies

文件大小：11.72MB

文件格式：PDF

更新时间：2016-11-24 13:00:50

logic

Matt Kaufmann Advanced Micro Devices, Inc. Panagiotis Manolios The University of Texas at Austin J Strother Moore The University of Texas at Austin