On Hoare Logic and Kleene Algebra with Tests

by Dexter Kozen
Citations:40 - 13 self