Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli

• Authors:

• Kai Engelhardt;Willem P. de Roever

• Affiliations:

• -;-

• Venue:
• FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
• Year:
• 1993