- Funding body: CNCS-UEFISCDI
- Project type: Research projects to support the return of Romanian researchers abroad - RP
- Project No.: RP-7/05.08.2010
- Project Title: Testing and formal modeling of software applications based on services
- Principal Investigator: PhD. Alin Stefanescu
- Institution hosting the project: University of Pitesti, Department of Computer Science
- Project duration: 01.09.2010 - 31.08.2012
- Project budget: 480,879.96 RON
