119
click to vote
SIGADA
1994
Springer
15 years 7 months ago
1994
Springer
AdaWise, a set of tools currently under development at ORA, performs automatic checks to verify the absence of common run-time errors affecting the correctness or portability of A...