Simulation of Specification Statements in Hoare Logic

• Authors:

• Kai Engelhardt;Willem P. de Roever

• Affiliations:

• -;-

• Venue:
• MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
• Year:
• 1996