Authors: C.A.Middelburg

Citation: C.a.middelburg, Modular structuring of VDM specifications in VVSL, Formal aspects of computing The international journal of formal methods , 4(1), 1992, pp. 13-47