Concurrent Runtime Checking of Annotated Ada Programs

• Authors:

• David S. Rosenblum;Sriram Sankar;David C. Luckham

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Sixth Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1986