Engeler, Erwin. Ed.
Logic of Programs Proceedings, Workshop, ETH Zurich, 1979 - Berlin Springer Verlag 1981 - 245 - Lecture notes in computer science ; 00125 .
3540111603
Logic
681 LNCS
Logic of Programs Proceedings, Workshop, ETH Zurich, 1979 - Berlin Springer Verlag 1981 - 245 - Lecture notes in computer science ; 00125 .
3540111603
Logic
681 LNCS