Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Cerone, Antonio and First Letter Of Title is A  [Clear All Filters]
2020
M. Natilli, Fadda, D., Rinzivillo, S., Pedreschi, D., and Licari, F., “Analysis and Visualization of Performance Indicators in University Admission Tests”, in Formal Methods. FM 2019 International Workshops, Cham, 2020.
2014
P. Mukala, Cerone, A., and Turini, F., “An abstract state machine (ASM) representation of learning process in FLOSS communities”, in International Conference on Software Engineering and Formal Methods, 2014.