How did software get so reliable without proof?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1051, Issue , 1996, Pages 1-17

  Hoare, C A R ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PRODUCT DESIGN; SOFTWARE RELIABILITY; SOFTWARE TESTING;

CONCEPTUAL FRAMEWORKS; CURRENT PRACTICES; DESIGN INSPECTIONS; FUTURE IMPROVEMENTS; LARGE-SCALE PROGRAMMING; MODERN ENGINEERING; SOFTWARE ENGINEERING PRACTICES;

FORMAL METHODS;

EID: 79851489116     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_77     Document Type: Conference Paper

References (0)