Security Lab

Identifiers

• name variant Security Lab 0.50 · backfill

Papers (1)

1. Proceedings 4th Workshop on Formal Integrated Development Environment cs.PL · 2018 · author #7

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
• Universidade do Minho 1 shared papers
• Virgile Prevosto (Software Safety 1 shared papers