Multiple view environment supporting VDM and Ada

Fawzi Albalooshi, Fred Long. Multiple view environment supporting VDM and Ada. IEE Proceedings - Software, 146(4):203-219, 1999.

Abstract

Abstract is missing.