Silva, Guilherme, 		Haeusler, Edward, E 		Nalon, Cláudia.
" Description of Command and Control Networks in Coq" <em>Anais do Workshop-Escola de Informática Teórica (WEIT)</em> [Online], (17 novembro 2021)