On Hoare Logic and Kleene Algebra with Tests

by Dexter Kozen
Citations:59 - 13 self