An automatic verifier for a class of sorting programs /
by Prabhaker Mateti.

Description

Tools

Cite this Export citation file
Main Author
Mateti, Prabhaker.
Language(s)
English
Published
Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1976.
Subjects
Computer programs
Physical Description
v, 119 p. : diagrs. ; 28 cm.
Locate a Print Version
Find in a library

Viewability

Item Link Original Source
Full view   Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 832 University of Illinois at Urbana-Champaign