DMCA

On Hoare Logic and Kleene Algebra with Tests

by Dexter Kozen
Citations:56 - 13 self