Alexandra Silva

1 published title

Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday

(Contributor)

1 edition