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]

No reviews for this publication, yet.