DMCA

Kleene algebras with tests and the static analysis of programs (2003)

by Dexter Kozen
Citations:9 - 1 self