Using PVS to Prove Some Theorems Of David Parnas

• Authors:

• John M. Rushby;Mandayam K. Srivas

• Affiliations:

• -;-

• Venue:
• HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
• Year:
• 1993