Cited By
View all- Deutsch MHenson MReeves S(2003)Operation refinement and monotonicity in the schema calculusProceedings of the 3rd international conference on Formal specification and development in Z and B10.5555/1761968.1761977(103-126)Online publication date: 4-Jun-2003