Title: Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Subjects: Computer programming, Congresses, Mathematical Logic and Formal Languages, Congrès, Programmation (Informatique), Logics and Meanings of Programs, Computer Science, Logiciels