TY  - RPRT
TI  - Kleene Algebra with Tests and Coq Tools for While Programs
AU  - Damien Pous
PY  - 2013
UR  - https://arxiv.org/abs/1302.1737
ID  - 1302.1737
ER  -