We hate 2020!

Just when we thought 2020 couldn't get any worse! We were about to re-open after many months of being closed but then disaster struck when a mains water pipe burst and flooded much of the ground floor of the museum.
Sadly re-opening has now been postponed. Read More >>>

Please Donate Via Just GivingNo visitors, no workshops, no events, no school visits... no income. We know that things are tough for everyone right now, but if you can afford to help us through these tough times please donate what you can.

There's over 36,000 exhibits here! That should keep you occupied for a bit - get searching!

Or come and get involved on our social media channels ...

      Twitch  Facebook          Online Gift Shop      

Thank you.

 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