Nelma MoreiraBooksFormal Methods. FM 2019 International WorkshopsImplementation and Application of AutomataDevelopments in Language TheoryRole of Theory in Computer ScienceDescriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer SciAuthor data: Open Library