Bonifacio, A.
(2023).
 Language-Based Testing for Pushdown Reactive Systems.
<em>Proceedings Of The Brazilian Symposium On Formal Methods (SBMF), </em>, 75-91.
Retrieved from <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>