Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Logics of Programs Brooklyn, June 17-19, 1985
Seminar on Concurrency Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983 (Lecture Notes in Computer Science, 158)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Graph-Grammars and Their Application to Computer Science: 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982 (Lecture Notes in Computer Science)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Book
