![]() | ![]() |
1988 | ||
---|---|---|
2 | Yi Zheng, Chih-Sung Tang: To Connect the Informal Graphical Design Methodology with the formal Specification in Information System Design. DS-3 1988: 575-583 | |
1983 | ||
1 | Chih-Sung Tang: Toward a Unified Logic Basis for Programming Languages. IFIP Congress 1983: 425-429 |
1 | Yi Zheng | [2] |