SILVA, Guilherme G. F. da; 						HAEUSLER, Edward Hermann; 						NALON, Cláudia.
 Description of Command and Control Networks in Coq.
<strong>Anais do Workshop-Escola de Informática Teórica (WEIT)</strong>, [S.l.], p. 60-67, nov. 2021.
ISSN 0000-0000.
Disponível em: &lt;<a href="https://sol.sbc.org.br/index.php/weit/article/view/18923" target="_new">https://sol.sbc.org.br/index.php/weit/article/view/18923</a>&gt;. Acesso em: 15 maio 2024.
doi: <a href="https://doi.org/10.5753/weit.2021.18923">https://doi.org/10.5753/weit.2021.18923</a>.