Hankley, William; Peikun Tsai, "Ada/TL specification and verification of a distributed computation" pp846-855 (1992) |
[ACM] (1992) Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, March 1992, Kansas City, Missouri, United States
|
|