@misc{indiciae2670664839e7,
  title = {Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools},
  author = {Miel Sharf and Bart Besselink and Adam Molin and Qiming Zhao and Karl Henrik Johansson},
  year = {2021},
  url = {https://arxiv.org/abs/2012.12657},
  note = {Source identifier: 2012.12657}
}