Formal Verification of Ada Programs

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

Abstract

Abstract is missing.