VDM and Z: A Comparative Case Study

Ian J. Hayes. VDM and Z: A Comparative Case Study. Formal Asp. Comput., 4(1):76-99, 1992.

Abstract

Abstract is missing.