Silva, G., 		Haeusler, E., & 		Nalon, C.
(2021).
 Description of Command and Control Networks in Coq.
In <em>Anais do VI Workshop-Escola de Informática Teórica</em>, (pp. 60-67). Porto Alegre: SBC.
doi:10.5753/weit.2021.18923