BONIFACIO, Adilson Luiz.
 Language-Based Testing for Pushdown Reactive Systems.
<strong>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</strong>, [S.l.], p. 75-91, dec. 2023.
ISSN 0000-0000.
Available at: &lt;<a href="https://sol.sbc.org.br/index.php/sbmf/article/view/28037" target="_new">https://sol.sbc.org.br/index.php/sbmf/article/view/28037</a>&gt;. Date accessed: 17 may 2024.