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

• Authors:

• Anand R. Tripathi;William D. Young;Donald I. Good;James C. Browne

• Affiliations:

• The University of Texas at Austin, Austin, Texas;The University of Texas at Austin, Austin, Texas;The University of Texas at Austin, Austin, Texas;The University of Texas at Austin, Austin, Texas

• Venue:
• ACM SIGPLAN Notices
• Year:
• 1981