المؤلفون: NARDONE, VITTORIA, MUSE, BIRUK, ABIDI, MOUNA, KHOMH, FOUTSE, DI PENTA, MASSIMILIANO

المصدر: ACM Transactions on Software Engineering & Methodology; Jul2023, Vol. 32 Issue 4, p1-35, 35p

المؤلفون: 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