TY  - RPRT
TI  - Formal verification in Coq of program properties involving the global state effect
AU  - Jean-Guillaume Dumas
AU  - Dominique Duval
AU  - Burak Ekici
AU  - Damien Pous
PY  - 2013
UR  - https://arxiv.org/abs/1310.0794
ID  - 1310.0794
ER  -