@misc{indiciae91ca4b2404af,
  title = {Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems},
  author = {Abdelkader Khouass and Christian Attiogbé and Mohamed Messabihi},
  year = {2021},
  url = {https://arxiv.org/abs/2012.13671},
  note = {Source identifier: 2012.13671}
}