Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods

Authors:
Marie-Claude Gaudel;Jim Woodcock
Affiliations:
-;-
Venue:
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Year:
1996

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
Using CARE to Construct Verified Software

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

Hi-index	0.01