Haniel Moreira Barbosa http://lattes.cnpq.br/6657126741011519

Última atualização do Lattes: 27.03.2023

Nomes de citação: BARBOSA, H. / BARBOSA, Haniel
  • Software (9)+
    • Ano
      2023
      Título
      Carcara 0.1
    • Ano
      2022
      Título
      cvc5 1.0
    • Ano
      2021
      Título
      cvc5 0.1
    • Ano
      2020
      Título
      CVC4 1.8
    • Ano
      2020
      Título
      Zhefuscator
    • Ano
      2019
      Título
      CVC4Sy
    • Ano
      2019
      Título
      CVC4 1.7
    • Ano
      2018
      Título
      CVC4 1.6
    • Ano
      2017
      Título
      veriT
CTIT UFMG