2 treff

Logics of Programs Workshop
Logics of programs : workshop, Yorktown Heights, New York, May 1981
Logics of Programs Workshop
Bok Språk ikke angitt 1982
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
edited by Edmund Clarke and Dexter Kozen
Bok Engelsk 1984