Toward a verification system for the programming language kl-1 using weakest preconditions.

• Authors:

• Timothy E. Lindquist

• Affiliations:

• -

• Venue:
• Toward a verification system for the programming language kl-1 using weakest preconditions.
• Year:
• 1979