The OpenSMT Solver
Informazioni aggiuntive
Autori
Bruttomesso R.,
Pek E.,
Sharygina N.,
Tsitovich A.
Tipo
Contributo in atti di convegno
Anno
2010
Lingua
Inglese
Titolo atti di convegno
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Editore
Springer
Luogo convegno
Paphos, Cyprus
Pagine (o numero dell’articolo)
150-153
