TY  - RPRT
TI  - Symbolic Abstract Contract Synthesis in a Rewriting Framework
AU  - María Alpuente
AU  - Daniel Pardo
AU  - Alicia Villanueva
PY  - 2016
UR  - https://arxiv.org/abs/1608.05619
ID  - 1608.05619
ER  -