Virgile Prevosto (Software Safety

Identifiers

• name variant Virgile Prevosto (Software Safety 0.50 · backfill

Papers (1)

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