TY  - RPRT
TI  - A Formal Approach for the Development of Service-Oriented Applications
AU  - Lorina Negreanu
AU  - Cristian Giumale
AU  - Alexandru Agache
AU  - Mihnea Muraru
AU  - Matei Popovici
AU  - Ciprian Dobre
PY  - 2013
UR  - https://arxiv.org/abs/1202.2572
ID  - 1202.2572
ER  -