Virgile Robles
Identifiers
- name variant Virgile Robles 0.50 · backfill
Papers (1)
- MetAcsl: Specification and Verification of High-Level Properties cs.SE · 2018 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Louis Rilling 1 shared papers
- Nikolai Kosmatov 1 shared papers
- Pascale Le Gall 1 shared papers
- Virgile Prevosto 1 shared papers