Garcia, R., & Modesti, P. (2024). A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols. Electronics. https://doi.org/10.3390/electronics13234660
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Style de citation Chicago (17e éd.)
Garcia, Rémi, et Paolo Modesti. "A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols."
Electronics 2024. https://doi.org/10.3390/electronics13234660.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Style de citation MLA (9e éd.)
Garcia, Rémi, et Paolo Modesti. "A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols."
Electronics, 2024, https://doi.org/10.3390/electronics13234660.
Copié avec succès vers le presse-papier
Échec de la copie vers le presse-papier
Attention : ces citations peuvent ne pas être correctes à 100%.