Contats

Plácido A. S. Neto

http://del.icio.us/placido.neto

Research

Software Engeneering
Formal Methods
Object Oriented Programming
Aspect Oriented Programming
Compilers
JML - Java Modeling Language
JCML - Java Card Modeling Language

Other Areas

Theology
Philosophy
Sociology

Tools

Events 2008