Skip to content

Nelma Moreira

    • 31PublicationsNumber of items in Nelma's My Publications folder on Mendeley.
    • 8Followers

    Research interests

    formal software verificationFormal languages and automata theory

    Followers (8)

    Explore network

    Following (4)

    Recent publications

    • On the Representation of Finite Automata

      • Almeida M
      • Moreira N
      • Reis R
      N/AReaders
      N/ACitations
    • The Formal and Computational Theory of Complex Constraint Solution

      • Damas L
      • Moreira N
      • Varile G
      N/AReaders
      N/ACitations