Close menu

SURE

Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Garcia, Rémi and Modesti, Paolo (2017) An IDE for the Design, Verification and Implementation of Security Protocols. In: The 28th International Symposium on Software Reliability Engineering Workshops (ISSREW), 23-26 Oct 2017, Toulouse, France.

This list was generated on Fri Oct 10 21:35:20 2025 BST.