[IEEE Comput. Soc Proceedings. 26th International Conference on Software Engineering - Edinburgh, UK (23-28 May 2004)] Proceedings. 26th International Conference on Software Engineering - Compositional verification of middleware-based software architecture descriptions
Caporuscio, M., Inverardi, P., Pelliccione, P.Year:
2004
Language:
english
DOI:
10.1109/ICSE.2004.1317444
File:
PDF, 344 KB
english, 2004