Publications

Articles

International Conferences: 1

2021

- Margarida Ferreira and Miguel Neves and Miguel Ventura and Inês Lynce and Ruben Carlos Gonçalves Martins, FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions, presented at 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, Mar. 2021 [DOI Article link] [bibTex]