Formal Methods. FM 2019 International WorkshopsEmil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti · First published 2020Open the Tome
Role of Theory in Computer ScienceStavros Konstantinidis, Nelma Moreira, Rogério Reis · First published 2017Open the Tome
Descriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer SciNelma Moreira · First published 2012Open the Tome
Representação semântica de referências temporais em linguagem naturalNelma Resende Araújo Moreira · First published 1988Open the Tome
