Diekmann, C., Hupel, L., Michaelis, J., Haslbeck, M., & Carle, G. (2018). Verified iptables Firewall Analysis and Verification. J Autom Reason.
Citação norma ChicagoDiekmann, Cornelius, Lars Hupel, Julius Michaelis, Maximilian Haslbeck, and Georg Carle. "Verified Iptables Firewall Analysis and Verification." J Autom Reason 2018.
Citação norma MLADiekmann, Cornelius, et al. "Verified Iptables Firewall Analysis and Verification." J Autom Reason 2018.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.