Model Based Approach to Verification of Higher-Order Programs

被引：0

作者：

Walukiewicz, Igor ^{[1
]}

机构：

[1] Bordeaux Univ, CNRS, Bordeaux, France

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016年 / 216期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：2 / +

页数：2

相关论文

empty

未找到相关数据