Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, March 1992, Kansas City, Missouri, United States (1992) |
- Hankley, William; Peikun Tsai, (1992) Hankley, William; Peikun Tsai, "Ada/TL specification and verification of a distributed computation" pp846-855
- Koelma, D., R. van Balen, and A. Smeulders, (1992) Koelma, D., R. van Balen, and A. Smeulders, "SCIL-VP: a multi-purpose visual programming environment" pp1188-1198
|
|