FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
ICSE 2026 (series) / FormaliSE 2026 (series) / Romain Lefeuvre
Romain Lefeuvre

Registered user since Mon 4 Jul 2022

Name:Romain Lefeuvre
Affiliation:University of Rennes
Personal website: https://research.romainlefeuvre.com
GitHub: https://github.com/RomainLefeuvre

Contributions

2026

Show activities from other conferences

ICSE 2026-profile
View general profile