TY  - RPRT
TI  - Compositional Safety Verification with Max-SMT
AU  - Marc Brockschmidt
AU  - Daniel Larraz
AU  - Albert Oliveras
AU  - Enric Rodriguez-Carbonell
AU  - Albert Rubio
PY  - 2015
UR  - https://arxiv.org/abs/1507.03851
ID  - 1507.03851
ER  -