TY  - RPRT
TI  - Certified proofs in programs involving exceptions
AU  - Jean-Guillaume Dumas
AU  - Dominique Duval
AU  - Burak Ekici
AU  - Jean-Claude Reynaud
PY  - 2014
UR  - https://arxiv.org/abs/1310.2338
ID  - 1310.2338
ER  -