Program development by transformation and refinement

• Authors:

• Stefan Jaehnichen;Fatima Ali Hussain;Matthias Weber

• Affiliations:

• -;-;-

• Venue:
• An international workshop on Advanced programming environments
• Year:
• 1986