Software engineering with Ada
DIANA: an intermediate language for Ada
DIANA: an intermediate language for Ada
The interface description language: definition and use
The interface description language: definition and use
Evaluation of safety-critical software
Communications of the ACM
Static analysis of exception handling in Ada
Software—Practice & Experience
Exploring ADA
Error-Prone Exception Handling in Large Ada Systems
Ada-Europe '93 Proceedings of the 12th Ada-Europe International Conference
Hi-index | 0.00 |