italiano | contact

CHARMY: A framework for Designing and Verifying Architectural Specifications

Patrizio Pelliccione, Paola Inverardi, and Henry Muccini

IEEE Transactions on Software Engineering, 02 Dec 2008. IEEE computer Society Digital Library. IEEE Computer Society, 29 December 2008. Vol. 99, No. 1. (5555). DOI: 10.1109/TSE.2008.104., 2008

Contact: ,



Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›


Numerous articles published in international scientific journals, books, and ...

continua ›

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›