Combining VDM-SL Specifications with C++ Code.

Brigitte Frhlich, Peter Gorm Larsen

Browse the full FM paper archive.