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