Mechanized support for stepwise refinement

• Authors:

• Jan L. A. van de Snepscheut

• Affiliations:

• California Institute of Technology, Pasadena

• Venue:
• Proceedings of the international conference on Programming languages and system architectures
• Year:
• 1994