An Approach to the Static Semantics of VDM-SL.

Hans Bruun, Bo Stig Hansen, Flemming M. Damm

Browse the full FM paper archive.