A practical method of documenting and verifying Ada programs with packages.

Tue, 01 Jan 1980 00:00:00 +0100

David C. Luckham, Wolfgang Polak:
A practical method of documenting and verifying Ada programs with packages. SIGPLAN 1980: 113-122