Abstraction and specification in program development
Abstraction and specification in program development
Software Component with ADA
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Experiences building data structure artifacts in Ada9X
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
Hi-index | 0.00 |