, Mardare, R.
& Panangaden, P.
, Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday.
Constable, R. & Silva, A. (eds.). p. 219-243 25 p.
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7230 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter