@misc{indiciaed09acbea3ae1,
  title = {Building Correct SDN-Based Components from a Global Formal Mode},
  author = {Christian Attiogbé},
  year = {2018},
  url = {https://arxiv.org/abs/1806.09476},
  note = {Source identifier: 1806.09476}
}