Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Florent Kirchner
conf.researchr.org general profile
ETAPS 2019 profile
Not registered as user
Name:
Florent Kirchner
Contributions
2019
InterAVT
Author of Advances in Usability of Formal Methods for Code Verification within the InterAVT-track
Share
x
Thu 19 Dec 07:45