Flexible Interpolation for Efficient Model Checking
Informazioni aggiuntive
Autori
Sharygina N.,
Hyvärinen A.,
Alt L.
Tipo
Contributo in atti di convegno
Anno
2015
Lingua
Inglese
Nome convegno
MEMICS 2015
Luogo convegno
Telč, Czech Republic
Data convegno
October 23-25, 2015
