Tim Fernando
-
Extending Z with State Transition Constraints
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications