@misc{indiciae3e7b1961d2bd,
  title = {Compositional Safety Verification with Max-SMT},
  author = {Marc Brockschmidt and Daniel Larraz and Albert Oliveras and Enric Rodriguez-Carbonell and Albert Rubio},
  year = {2015},
  url = {https://arxiv.org/abs/1507.03851},
  note = {Source identifier: 1507.03851}
}