Flexible Interpolation with Local Proof Transformations
Informazioni aggiuntive
Autori
Bruttomesso R.,
Rollini S. F.,
Sharygina N.,
Tsitovich A.
Tipo
Contributo in atti di convegno
Anno
2010
Lingua
Inglese
Titolo atti di convegno
International Conference of Computer Aided Design (ICCAD)
Editore
IEEE Computer Society
Luogo convegno
San Jose, USA
