Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods

Authors:
John S. Fitzgerald;Cliff B. Jones;Peter Lucas
Affiliations:
-;-;-
Venue:
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Year:
1997

Pinnacles of software engineering: 25 years of formal methods

Annals of Software Engineering
Is Proof More Cost-Effective Than Testing?

IEEE Transactions on Software Engineering
The Value of Verification: Positive Experience of Industrial Proof

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A rigorous environment for development of concurrent systems

Nordic Journal of Computing
IO-refinement in Z

3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods

Hi-index	0.00