@misc{indiciaed83e7efe5c6d,
  title = {Can Component/Service-Based Systems Be Proved Correct?},
  author = {Christian Attiogbe},
  year = {2009},
  doi = {10.1007/978-3-540-95891-8\_2},
  url = {https://arxiv.org/abs/0910.1901},
  note = {Source identifier: 0910.1901}
}