@misc{indiciae74ba156cc2f0,
  title = {Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming},
  author = {Miel Sharf and Bart Besselink and Karl Henrik Johansson},
  year = {2021},
  url = {https://arxiv.org/abs/2103.13743},
  note = {Source identifier: 2103.13743}
}