An Automatic Verifier for a Class of Sorting Programs
Made available in DSpace on 2014-12-13T18:01:53Z (GMT). No. of bitstreams: 1 7709092.pdf: 3692785 bytes, checksum: 6005ad8492ae37ee7b561d167e534d4d (MD5) Previous issue date: 1976
University of Illinois - Urbana-Champaign
Networked Digital Library of Theses and Dissertations
University of Illinois at Urbana-Champaign