Strand, Martin. “Formalizing Swarm Security”. Norsk IKT-konferanse for forskning og utdanning, no. 3 (January 24, 2022). Accessed December 12, 2024. https://www.ntnu.no/ojs/index.php/nikt/article/view/5511.