SPEX: A Method for Specifying the Dynamics of Structured Specifications Including Control Information

Myung Ho Kim, Yong Rae Kwon. SPEX: A Method for Specifying the Dynamics of Structured Specifications Including Control Information. Australian Computer Journal, 21(1):19-26, 1989.

Abstract

Abstract is missing.