Gabriele Belli

According to our database, Gabriele Belli authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Mind the gap: Robotic Mission Planning Meets Software Engineering.

Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione

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