![](/img/cover-not-exists.png)
[ACM Press the conference - Anaheim, California, United States (1995.11.05-1995.11.10)] Proceedings of the conference on TRI-Ada '95 Ada's role in global markets: solutions for a changing complex world - TRI-Ada '95 - Refinement of Z specifications using reusable software components in Ada
Hayward, John, Bale, StephenYear:
1995
Language:
english
DOI:
10.1145/376503.376545
File:
PDF, 857 KB
english, 1995