italiano | contact

On the Refinement of Logic Specifications

S. Orefice, F. Ferrucci, G. Nota, G. Pacini, G. Tortora

International Journal of Software Engineering and Knowledge Engineering (2):3, pagg. 433-448, 1992

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 ›