Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Virgile Robles
conf.researchr.org general profile
ETAPS 2019 profile
ICSE 2023 profile
Not registered as user
Name:
Virgile Robles
Contributions
2023
FormaliSE
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track
2019
TACAS
Author of MetAcsl: Specification and Verification of High-Level Properties within the TACAS 2019-track
Share
x
Sat 21 Dec 19:02