Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
>
Projects
>
Rigorous/Reproducible Engineering for PROvable ...
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
View graph of relations
Rigorous/Reproducible Engineering for PROvable (protocol) SECurity
Project
:
Research
Acronym
REPROSEC
Status
Not started
Schmitz, Guido
(Co-Investigator)
