A practical method of documenting and verifying Ada programs with packages
Luckham, David C., Polak, WolfgangVolume:
15
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/947783.948648
Date:
November, 1980
File:
PDF, 998 KB
english, 1980