![](/img/cover-not-exists.png)
[ACM Press the second annual Washington Ada symposium - Washington, D. C., United States (1985..-..)] Proceedings of the second annual Washington Ada symposium on Ada Ada in the mainstream: applications and education - WADAS '85 - Ada-based abstract machine specification of CAIS to generate validation tests
Lindquist, Timothy E., Facemire, Jeffrey L.Year:
1985
Language:
english
DOI:
10.1145/325612.325638
File:
PDF, 532 KB
english, 1985