Silva, Guilherme, Edward Hermann Haeusler, & Cláudia Nalon.
" Description of Command and Control Networks in Coq." <em>Anais do Workshop-Escola de Informática Teórica (WEIT)</em> [Online], (2021): 60-67. Web. 15 mai. 2024