Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 - Clarke, Edmund; Kozen, Dexter; Logics of Programs Workshop (1983 : Carnegie Mellon University) (Berlin : Springer Verlag, 1984)
Proceedings of the Logics of Programs Workshop
Keywords: Electronic digital computers -- Programming -- Congresses