Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
Logics of Programs Brooklyn, June 17-19, 1985
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Seminar on Concurrency Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
CSL'88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
CSL '89 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
