Report of 10/18/51 Conference on Checking with von Neumann | IEEE Journals & Magazine | IEEE Xplore