Logics of programs :  workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / 
edited by Edmund Clarke and Dexter Kozen 
 - Berlin :  Springer Verlag,  1984 
 - 527 p. 
 - Lecture notes in computer science ;  no. 164 .
<br/><br/> Proceedings of the Logics of Programs Workshop 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.6  / L595