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
Skopiowano do schowka
Nie udało się skopiować do schowka
Cytowanie według stylu Chicago (wyd. 17)
Garcia, Rémi, i 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.
Skopiowano do schowka
Nie udało się skopiować do schowka
Cytowanie według stylu MLA (wyd. 9)
Garcia, Rémi, i 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.
Skopiowano do schowka
Nie udało się skopiować do schowka
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..