BEHAVIOURAL CATEGORICITY OF ABSTRACT DATA TYPE SPECIFICATIONS.

被引：0

作者：

Lescanne, Pierre ^{[1
]}

机构：

[1] Centre de Recherche en Informatique de Nancy, BP 239, F54 506 Vandoeuvre-les-Nancy Cedex, France

来源：

| 1600年 / 26期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

empty

未找到相关数据