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