KAT-ML: An interactive theorem prover for Kleene Algebra with Tests (2003)

by Kamal Aboul-hosn , Dexter Kozen
Venue:University of Manchester
Citations:8 - 1 self