On interpolants and variable assignments
Informazioni aggiuntive
Autori
Sharygina N.,
Jancík P.,
Rollini S. F.,
Kofron J.
Tipo
Contributo in atti di convegno
Anno
2014
Lingua
Inglese
Nome convegno
14th FMCAD 2014
Luogo convegno
Lausanne, Switzerland
Data convegno
October 21-24, 2014
