An automatic verifier for a class of sorting programs
By: by Prabhaker Mateti
Series: Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 832; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 832
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1976
Place of publication: Urbana
Language: eng
Number of pages: 119
Subjects: Computer programs
Notes: Thesis--University of Illinois at Urbana-Champaign.

Bibliography: p. 114-117.