Application of modal logics to the reasoning about applicative programs

• Authors:

• P. Pepper

• Affiliations:

• -

• Venue:
• The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
• Year:
• 1987