A Scalable Decision Procedure for Fixed-Width Bit-Vectors
Informazioni aggiuntive
Autori
Bruttomesso R.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2009
Lingua
Inglese
Titolo atti di convegno
International Conference of Computer Aided Design (ICCAD)
Editore
ACM
Luogo convegno
San Jose (CA)
