Ada verification using existing tools

Ada verification using existing tools

McHugh, John, Nyberg, Karl
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1012497.1012541
Date:
August, 1985
File:
PDF, 310 KB
1985
Conversion to is in progress
Conversion to is failed