APA Style

Adhitya, S, A. et al (). Analisis Formal Protokol Autentikasi Badar et al. Menggunakan Tamarin Prover . : .

MLA Style

Adhitya, Syafrizal, Ananta. et al. "Analisis Formal Protokol Autentikasi Badar et al. Menggunakan Tamarin Prover". : , . Text.