A Sound and Relatively* Compete Axiomatization of Clarke's Language L4

• Authors:

• Werner Damm;Bernhard Josko

• Affiliations:

• -;-

• Venue:
• Proceedings of the Carnegie Mellon Workshop on Logic of Programs
• Year:
• 1983