SpringerLink (Online service), Logics of Programs Workshop, Clarke, E., & Kozen, D. (1984). Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983. Springer-Verlag.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Logics of Programs Workshop, Edmund Clarke, and Dexter Kozen. Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983. Berlin ; New York: Springer-Verlag, 1984.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983. Springer-Verlag, 1984.
Warning: These citations may not always be 100% accurate.