Major Threat: From Formal Methods without Tools to Tools without Formal Methods
Authors:
Bernhard Steffen
Affiliations:
-
Venue:
ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age