A programming logic
Subtitle: with an introduction to the PL/CV verifier
By: Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson.
Contributors: O'Donnell, Michael J., 1952- joint author.; Johnson, Scott D.
Publisher: Winthrop Publishers
Published: 1978
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 389
Subjects: PL/CV (Computer program language); Computer programs -- Testing.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. 370-381.
Includes index.