![](/img/cover-not-exists.png)
[ACM Press the 1992 ACM/SIGAPP symposium - Kansas City, Missouri, United States (1992..-..)] Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing technological challenges of the 1990's - SAC '92 - Ada/TL specification and verification of a distributed computation
Hankley, William, Tsai, PeikunYear:
1992
Language:
english
DOI:
10.1145/130069.130098
File:
PDF, 676 KB
english, 1992