|Home > LEO Computers > LEOPEDIA > Articles, Reviews and Other Papers > Validity & Correctnes ... e of LEO I and LEO II|
Validity & Correctness before the OS: the case of LEO I and LEO II
Paper presented by Elisabetta Mori at the Alan Turing Institute, October 2017, London and at the CNAM – Conservatoire national des arts et métie, 20th October 2017, Paris.
Subsequently published in Reflections on Programming Systems: Historical and Philosophical Aspects (2018), co-authored by Rabia Arif and Guiseppe Primiero, edited by Liesbeth de Mol and Giuseppe Primiero, Springer.
Please Note: This item is not in our collection and is included here for signposting purposes only.
Date : October 2017
This exhibit has a reference ID of CH54503. Please quote this reference ID in any communication with the Centre for Computing History.