Ada Exception Handling: An Axiomatic Approach.

Tue, 01 Jan 1980 00:00:00 +0100

David C. Luckham, Wolfgang Polak:
Ada Exception Handling: An Axiomatic Approach. ACM Trans. Program. Lang. Syst. 2(2): 225-233 (1980)