文章基本信息

标题：Automated techniques for higher-order program verification
作者：Naoki KOBAYASHI ; Luke ONG ; David Van HORN 等
期刊名称：Progress in Informatics
印刷版ISSN：1349-8614
电子版ISSN：1349-8606
出版年度：2013
期号：10
页码：157-165
DOI：10.2201/NiiPi.2013.10.9
出版社：National Institute of Informatics
摘要：No abstract.
关键词：No keyword.