DMCA

On Hoare logic, Kleene algebra, and types (1999)

by Dexter Kozen
Venue:Computer Science Department, Cornell University
Citations:5 - 1 self