Roméo La Spina

According to our database, Roméo La Spina authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Formal Verification of WTO-based Dataflow Solvers - Artifact Experience Report.

Roméo La Spina, Delphine Demange, Sandrine Blazy

Proceedings of the Programming Languages and Systems, 2025

Formal Verification of WTO-based Dataflow Solvers.

Roméo La Spina, Delphine Demange, Sandrine Blazy

Proceedings of the Programming Languages and Systems, 2025