HAL/S/V: a verifiable subset for HAL/S.

Thu, 01 Jan 1981 00:00:00 +0100

Anand R. Tripathi, William D. Young, Donald I. Good, James C. Browne:
HAL/S/V: a verifiable subset for HAL/S. ACM SIGPLAN Notices 16(3): 102-112 (1981)