Home > LEO Computers > LEOPEDIA > Articles, Reviews and Other Papers > "Check Everything”: V ... orrectness in LEO III
 

"Check Everything”: Validity and Correctness in LEO III

Paper by Elisabetta Mori presented at 5th International Conference on the History and Philosophy of Computing (HaPoC), 28-30 October 2019, Bergamo (Italy).  

A special issue of Interdisciplinary Science Reviews journal (published by Taylor & Francis) will be dedicated to the works presented at HaPoC 2019. 

The Abstract for this paper is available below.

Please Note: This item is not in our collection and is included here for signposting purposes only.

Date : October 2019

VIEW FULL DOCUMENT
This document has been scanned and is available to view online. Please note that copyright is retained by the original rights holder.
File Size: 101.03 KB

This exhibit has a reference ID of CH56368. Please quote this reference ID in any communication with the Centre for Computing History.
  Article:






Help support the museum by buying from the museum shop

View all items

Founding Sponsors
redgate Google ARM Real VNC Microsoft Research
Heritage Lottery Funded
Heritage Lottery Fund
Accredited Museum