Cardoso, Elton, 		Reis, Leonardo, AND 		Ribeiro, Rodrigo.
" A Verified Operational Semantics for Regular Expression Parsing" <em>Proceedings of the Brazilian Symposium on Programming Languages (SBLP)</em> [Online], (25 September 2023)