Artículo 95

Artículo:

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions

Autor:

Elton Máximo Cardoso, Rodrigo Ribeiro, Samuel Feitosa, Leonardo Vieira Dos Santos Reis and Andre Rauber Du Bois