Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
Fundamentals of Computation Theory Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Mathematical Foundations of Computer Science 1976 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Mathematical Foundations of Computer Science 1989 Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
Logics of Programs Brooklyn, June 17-19, 1985
Mathematical Foundations of Computer Science 1980: 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings (Lecture Notes in Computer Science, 88)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
