159 followers
@gustavopinto Inclusive esse provador foi peca fundamental para o desenvolvimento do Symdiff [que desenvolvi por la junto com Shuvendu lahiri]. Ferramenta tambem amplamente utilizada para software em linguagem C. https://t.co/Ld5RaM3BrC https://t.co/K834