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.
VIEW FULL DOCUMENT |
|