A Specification Language
Authors:
Ib Sørensen
Affiliations:
-
Venue:
Program Specification, Proceedings of a Workshop
Year:
1981
Citing
0
Cited
1
State-based approaches: from Z to object-Z
Formal methods for distributed processing
Quantified Score
Hi-index
0.00
Visualization
Abstract