Guilherme Silva, Edward Haeusler, and Cláudia Nalon. 2021.
 Description of Command and Control Networks in Coq. In <em>Anais do VI Workshop-Escola de Informática Teórica</em>, novembro 17, 2021, Online, Brasil. SBC, Porto Alegre, Brasil, 60-67. DOI: <a href="https://doi.org/10.5753/weit.2021.18923">https://doi.org/10.5753/weit.2021.18923</a>.