Formal Verification of Ada Programs.

Mon, 01 Jan 1990 00:00:00 +0100

David Guaspari, Carla Marceau, Wolfgang Polak:
Formal Verification of Ada Programs. IEEE Trans. Software Eng. 16(9): 1058-1075 (1990)