Ferreira, Margarida, Terra-Neves, Miguel, Ventura, Miguel, Lynce, Ines, and Martins, Ruben. FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. Retrieved from https://par.nsf.gov/biblio/10284695. Tools and Algorithms for the Construction and Analysis of Systems 12651. Web. doi:10.1007/978-3-030-72016-2_9.

Ferreira, Margarida, Terra-Neves, Miguel, Ventura, Miguel, Lynce, Ines, & Martins, Ruben. FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. Tools and Algorithms for the Construction and Analysis of Systems, 12651 (). Retrieved from https://par.nsf.gov/biblio/10284695. https://doi.org/10.1007/978-3-030-72016-2_9

Ferreira, Margarida, Terra-Neves, Miguel, Ventura, Miguel, Lynce, Ines, and Martins, Ruben. "FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions". Tools and Algorithms for the Construction and Analysis of Systems 12651 (). Country unknown/Code not available. https://doi.org/10.1007/978-3-030-72016-2_9. https://par.nsf.gov/biblio/10284695.

@article{osti_10284695,
place = {Country unknown/Code not available}, title = {FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions}, url = {https://par.nsf.gov/biblio/10284695}, DOI = {10.1007/978-3-030-72016-2_9}, abstractNote = {}, journal = {Tools and Algorithms for the Construction and Analysis of Systems}, volume = {12651}, author = {Ferreira, Margarida and Terra-Neves, Miguel and Ventura, Miguel and Lynce, Ines and Martins, Ruben}, editor = {null} }