Silva, Guilherme, Edward Hermann Haeusler, and Cláudia Nalon.
" Description of Command and Control Networks in Coq." <em>Anais do VI Workshop-Escola de Informática Teórica,
Online, 2021</em>. SBC, 2021,  
pp.60-67.