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

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.

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