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
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoru Kātū Chicago (17th ed.)
Garcia, Rémi, me 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.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoro MLA (9th ed.)
Garcia, Rémi, me 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.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.