Building VCL Models and Automatically Generating Z Specifications from Them.

Nuno Amlio, Christian Glodt, Pierre Kelsen

Browse the full FM paper archive.