Sara Belluccini

According to our database, Sara Belluccini authored at least 2 papers in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

PALM: A Technique for Process ALgebraic Specification Mining.

Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Verification of Privacy-Enhanced Collaborations.

Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020