A toolset to support the construction and animation of formal specifications

Ian C. Morrey, Jawed I. A. Siddiqi, Richard Hibberd, Graham Buckberry. A toolset to support the construction and animation of formal specifications. Journal of Systems and Software, 41(3):147-160, 1998. [doi]

Abstract

Abstract is missing.