Visual support for incremental abstraction and refinement in Ada 95
Hendrix, T. Dean, Cross, James H., Barowski, Larry A., Mathias, Karl S.Volume:
XVIII
Language:
english
Journal:
ACM SIGAda Ada Letters
DOI:
10.1145/301687.289568
Date:
November, 1998
File:
PDF, 554 KB
english, 1998