An Automatic Verifier for a Class of Sorting Programs
type: CreativeWork
description: 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
abstract: 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
author: Mateti, Prabhaker
language: eng
keywords: Computer Science
date published: 2014-12-13T18:01:53Z
date modified: 2026-07-22T22:25:55Z
provider: University of Illinois - Urbana-Champaign
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: University of Illinois at Urbana-Champaign

PropertyValue
property ID: Handle
value: http://hdl.handle.net/2142/66392