Mechanizing Formal Methods: Opportunities and Challenges
Authors:
John M. Rushby
Affiliations:
-
Venue:
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Year:
1995
Citing
0
Cited
1
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Quantified Score
Hi-index
0.00
Visualization
Abstract