Formal Verification of Ada Programs.

Wed, 01 Jan 1992 00:00:00 +0100

David Guaspari, Carla Marceau, Wolfgang Polak:
Formal Verification of Ada Programs. Larch 1992: 104-141