| | | U. POLITEHNICA BUCURESTI
| FORMAL SPECIFICATION METHODS WITH APPLICATION TO SOFTWARE DEVELOPMENT
| DIRECTOR of the PROJECT | ALLOCATED VALUE (USD) | GIUMALE CRISTIAN ANTON | 20050
| Description of the project: 0
| Contacts: E-mail: Web page: - Phone: - | | The complete information about goals, team, partners, resourses and specific results of the project is available only for the Romanian version. |
|