INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

December 2021
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
2728293031  

 
  • INES at CADE-22

    (0)
    Publicado em August 8th, 2011Publications

    UFRN affiliated INES researcher David Déharbe, together with LORIA colleagues Thomas Bouton, Diego Caminha B. de Oliveira and Pascal Fontaine have their paper veriT: an open, trustable and efficient SMT-solver accepted for publication at the 22nd International Conference on Automated Deduction, a.k.a CADE-22.

    DOI: 10.1007/978-3-642-02959-2_12

Leave a Reply

You must be logged in to post a comment.