TY  - RPRT
TI  - Simplifying Contract-Violating Traces
AU  - Christian Colombo
AU  - Adrian Francalanza
AU  - Ian Grima
PY  - 2012
DO  - 10.4204/eptcs.94.2
UR  - https://arxiv.org/abs/1209.2681
ID  - 1209.2681
ER  -