Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
By: edited by Edmund Clarke and Dexter Kozen.
Contributors: Clarke, Edmund.; Kozen, Dexter, 1951-; Logics of Programs Workshop (1983 : Carnegie Mellon University)
Series: Lecture notes in computer science ;; 164
Publisher: Springer-Verlag
Published: 1984
Place of publication: Berlin; New York
Language: eng
Number of pages: 527
Subjects: Computer programming -- Congresses.
Notes: Includes bibliographies.
Proceedings of the Logics of Programs Workshop.