A Telephone Exchange Specification in VDM-SL

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. A telephone exchange specification in VDM-SL. Technical Report IST-TEC-98-04, Institute for Software Technology (IST), Graz University of Technology, December 1998.