Raúl Benito-Montoro, Xukai Chen, José Luis Sierra. A Tool to Assist the Compiler Construction Instructor in Checking the Equivalence of Specifications Based on Regular Expressions. In Antonio Balderas, Antonio José Mendes, Juan Manuel Dodero, editors, 23rd International Symposium on Computers in Education, SIIE 2021, Malaga, Spain, September 23-24, 2021. pages 1-6, IEEE, 2021. [doi]
Abstract is missing.