A visual programming environment for Z specifications

被引：0

作者：

Lam, SWC ^{[1
]}

Chan, KCC ^{[1
]}

Leung, HKN ^{[1
]}

Chung, LML ^{[1
]}

机构：

[1] Hong Kong Polytech Univ, Dept Comp, Kowloon, Hong Kong

来源：

ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS | 1997年

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：511 / 512

页数：2