Silva, G., 		Haeusler, E., & 		Nalon, C.
2021 nov 17.  Description of Command and Control Networks in Coq. Anais do Workshop-Escola de Informática Teórica (WEIT). [Online] :