Symposium on Logics of Programs and their Applications (1980 Poznán, Poland)

Books by Symposium on Logics of Programs and their Applications (1980 Poznán, Poland) on BookTides.