Home›Books›Symposium on Logics of Programs and their Applications (1980 Poznán, Poland)Symposium on Logics of Programs and their Applications (1980 Poznán, Poland)No biography available.No works found.