Martino Luca

According to our database, Martino Luca authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Moving Fast with Software Verification.

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015