English

A Formal Approach for the Development of Service-Oriented Applications

Software Engineering 2013-01-22 v2

Abstract

Please cite this as "Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the Development of Service-Oriented Applications, in Proc. of 18th International Conference on Control Systems and Computer Science (CSCS-18), Bucharest, Romania, 2011, pp. 804-810, ISSN: 2066-4451, Politehnica Press"

Cite

@article{arxiv.1202.2572,
  title  = {A Formal Approach for the Development of Service-Oriented Applications},
  author = {Lorina Negreanu and Cristian Giumale and Alexandru Agache and Mihnea Muraru and Matei Popovici and Ciprian Dobre},
  journal= {arXiv preprint arXiv:1202.2572},
  year   = {2013}
}

Comments

This article has been withdrawn by the author due to copyright incompatibilities raised by the original publisher. The author(s) ask all interested readers to contact either the authors, or check directly the Proceedings published by the Politehnica Press

R2 v1 2026-06-21T20:18:18.540Z