The Development of Z
Authors:
Stephen Brien
Affiliations:
-
Venue:
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
Year:
1993
Citing
0
Cited
1
Undefined Expressions and Logic in Z and B
Formal Methods in System Design
Quantified Score
Hi-index
0.00
Visualization
Abstract