Interactive Theorem Proving and Verification FOREWORD

被引：0

作者：

Natarajan, Raja ^{[1
]}

机构：

[1] Tata Inst Fundamental Res, Sch Technol & Comp Sci, Bombay 400005, Maharashtra, India

来源：

SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES | 2009年 / 34卷 / 01期

关键词：

D O I：

暂无

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

引用

页码：1 / 2

页数：2