Evaluating the effectiveness of Z: the claims made about CICS and where we go from here
Authors:
Kate Finney;Norman Fenton
Affiliations:
-;-
Venue:
Journal of Systems and Software
Year:
1996
Citing
0
Cited
1
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Quantified Score
Hi-index
0.00
Visualization
Abstract