Report copyright - Decision Algorithms for Kleene Algebra with Tests and ... · Abstract Kleene algebra with tests (KAT) is an equational system for program veri cation, which is the combination of
Please pass captcha verification before submit form
Please pass captcha verification before submit form