G. Silva, E. Haeusler, and C. Nalon.
" Description of Command and Control Networks in Coq", in <em>Proceedings of the VI Workshop-School of Theoretical Computer Science</em>, Online, 2021, pp. 60-67, doi: <a href="https://doi.org/10.5753/weit.2021.18923">https://doi.org/10.5753/weit.2021.18923</a>.