Virgile Prevosto (Software Safety
Identifiers
- name variant Virgile Prevosto (Software Safety 0.50 · backfill
Papers (1)
- Proceedings 4th Workshop on Formal Integrated Development Environment cs.PL · 2018 · author #6
Mentions
No mention provenance yet.
Frequent Coauthors
- France) 1 shared papers
- Ireland) 1 shared papers
- Paolo Masci (HASLab/INESC TEC 1 shared papers
- Portugal.) 1 shared papers
- Rosemary Monahan (Maynooth University 1 shared papers
- Security Lab 1 shared papers
- Universidade do Minho 1 shared papers