Ruibang Liu

Descubra o ACInv, uma ferramenta que tá revolucionando a geração de invariantes de loop pra programação complexa.