Mechanically verifying concurrent programs

• Authors:

• David Moshe Goldschlag

• Affiliations:

• The Univ. of Texas at Austin

• Venue:
• Mechanically verifying concurrent programs
• Year:
• 1992