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

Bibliography: p. 370-381.