Bonifacio, A.
(2023).
 Language-Based Testing for Pushdown Reactive Systems.
In <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, (pp. 75-91). Porto Alegre: SBC.