Salwicki, A., Ed.
Logics of programs and their applications, proceedings, Poznan, Agust 23-29,1980 - Berlin Springer-Verlag - Lecture notes in computer science ; 00148 .
681 LNCS
Logics of programs and their applications, proceedings, Poznan, Agust 23-29,1980 - Berlin Springer-Verlag - Lecture notes in computer science ; 00148 .
681 LNCS