Francesco Costa

SDS - A LOTOS-Based Tool for Symbolic Debugging

Roberto Rinaldi, Francesco Costa, Daniela Nardi, 1988, FORTE.

The Bravehealth Software Architecture for the Monitoring of Patients Affected by CVD

Antonio Sassano, Francesco Delli Priscoli, Silvia Canale, 2013, eTELEMED 2013.