8 treff

Kozen, Dexter
Bok Engelsk 2006
MPC 2004
Bok Engelsk 2004
David Harel, Dexter Kozen, Jerzy Tiuryn
Bok Engelsk 2000
Kozen, Dexter
Bok Engelsk 1997
Tenth Annual IEEE Symposium on Logic in C...
Bok Engelsk 1995
Kozen, Dexter
Bok Engelsk 1992
edited by Edmund Clarke and Dexter Kozen
Bok Engelsk 1984
Logics of Programs Workshop
Bok Språk ikke angitt 1982