The stepwise development of software development graphs: meta-programming VDM developments

• Authors:

• D Bjorner

• Affiliations:

• -

• Venue:
• VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
• Year:
• 1987