Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sébastien Patte
conf.researchr.org general profile
ICSE 2025 profile
Registered user since Fri 17 Jan 2025
Name:
Sébastien Patte
Affiliation:
Université Paris-Saclay, CEA, List
Contributions
2025
FormaliSE
Author of Typestates Specification and Verification in Frama-C within the Research Track-track
Share
x
Tue 24 Jun 18:16