Bonifacio, Adilson.
" Language-Based Testing for Pushdown Reactive Systems." <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (2023): 75-91. Web. 17 mai. 2024