Programming language elements for correctness proofs

被引：0
|
作者：
Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary [1 ]
机构：
来源：
Acta Cybern | 2008年 / 3卷 / 403-425期
关键词：
25;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
12345