Stem vcl$ (all stems)
1 papers:
FM-2011-AmalioGK #automation #generative #modelling #specification- Building VCL Models and Automatically Generating Z Specifications from Them (NA, CG, PK), pp. 149–153.
FM-2011-AmalioGK #automation #generative #modelling #specification