![](/img/cover-not-exists.png)
[ACM Press the ninth Washington Ada symposium - McLean, Virginia, United States (1992..-..)] Proceedings of the ninth Washington Ada symposium on Ada Empowering software users and developers - WADAS '92 - Techniques for semi-automated implementation of state-oriented, real-time formal specifications in Ada
Mitra, Sandeep, Lander, Leslie C., Piatkowski, Thomas F.Year:
1992
Language:
english
DOI:
10.1145/257683.257721
File:
PDF, 837 KB
english, 1992