W.: Formal verification of Ada programs (1990)

by D Guaspari, C Marceau, Polak
Venue:IEEE Trans. Software Eng