The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments.

Dines Bjrner

Browse the full FM paper archive.