TY  - RPRT
TI  - Can Component/Service-Based Systems Be Proved Correct?
AU  - Christian Attiogbe
PY  - 2009
DO  - 10.1007/978-3-540-95891-8_2
UR  - https://arxiv.org/abs/0910.1901
ID  - 0910.1901
ER  -