Skip to content

Plácido A. Souza Neto

  • PhD in Computer Science
  • Professor
  • IFRN - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte
  • 1PublicationsNumber of items in Plácido A.'s My Publications folder on Mendeley.
  • 14Followers

Recent publications

  • JCML : A Specification Language for the Runtime Verification of Java Card Programs

    • Souza U
    • Moreira A
    • Musicante M
    • et al.
    N/AReaders
    N/ACitations

Professional experience

Professor

IFRN - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte

August 2005 - Present

Education

Post-Doctoral Research Fellow

Université de Grenoble

September 2014

Groups

Followers (14)

Explore network

Following (10)

Explore network