Logics of programs and their applications : proceedings - Andrzej Salwicki; Symposium on Logics of Programs and Their Applications( 1980 : Poland ); Symposium on Logics of Programs and Their Applications , Poland 1980 (Berlin Springer Verlag, 1983)
Keywords: Computer science; Programming logic