Developed at LogiCS labs - UFRGS
http://www.inf.ufrgs.br/logics
Advisors
Andre Inacio Reis
- andreis@inf.ufrgs.br
Renato Perez Ribas
- rpribas@inf.ufrgs.br