Júlio Cândido 

Sou graduando em Matemática e Computação Científica na UFSC. Gosto de falar sobre métodos formais e a aplicação deles em Filosofia e Ciência!
Posts