The role of formal techniques: past, current and future or how did software get so reliable without proof? (extended abstract)

Authors:
C. A. R. Hoare
Affiliations:
University of Oxford
Venue:
Proceedings of the 18th international conference on Software engineering
Year:
1996

Citing 0
Cited 2

Enriching the Software Development Process by Formal Methods

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
RICES: reasoning about information consistency across enterprise solutions

Systems engineering for business process change

Quantified Score

Hi-index	0.00

Visualization

Abstract