Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Citation:
Constable RL, Silva A.  2012.  Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science. 7230

Web Site Title:

LNCS

Citation Key:

CS12

DOI:

10.1007/978-3-642-29485-3