المؤلفون: Buccafurri, Francesco, Musarella, Lorenzo, Nardone, Roberto

المصدر: ACM International Conference Proceeding Series; 6/10/2019, p1-6, 6p

المؤلفون: Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella

المصدر: ACM International Conference Proceeding Series; 8/29/2017, p1-6, 6p

المؤلفون: Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Visaggio, Corrado Aaron

المصدر: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering; 2016, p22-28, 7p

المؤلفون: Harding-Esch, Emma M., Nardone, Anthony, Gibbs, Jo, Sutcliffe, Lorna J., Sonnenberg, Pam, Estcourt, Claudia S., Hughes, Gwenda, Mohammed, Hamish, Gill, Noel, Sadiq, Tariq, Lowndes, Catherine

المصدر: ACM International Conference Proceeding Series; May2015, p129-130, 2p