TY  - RPRT
TI  - A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
AU  - Rémi Garcia
AU  - Paolo Modesti
PY  - 2024
DO  - 10.3390/electronics13234660
UR  - https://arxiv.org/abs/2411.17926
ID  - 2411.17926
ER  -