Paul Robert

According to our database, Paul Robert authored at least 1 paper in 2026.

Collaborative distances:

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

2026

Inferring contracts by abstract interpretation with application to pointer nullness analysis.

Paul Robert, Matthieu Lemerre, Mihaela Sighireanu

Int. J. Softw. Tools Technol. Transf., June, 2026