Leveraging Interpolant Strength in Model Checking
Informazioni aggiuntive
Autori
Rollini S. F.,
Sery O.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2012
Lingua
Inglese
Titolo atti di convegno
24th International Conference on Computer Aided Verification (CAV)
Editore
Springer
Luogo convegno
Berkeley, California, USA
