Symbolic Detection of Assertion Dependencies for Bounded Model Checking
Informazioni aggiuntive
Autori
Sharygina N.,
Fedyukovich G.,
D'Iddio A. C.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2015
Lingua
Inglese
Nome convegno
18. FASE 2015
Luogo convegno
London, UK
Data convegno
April 11-18, 2015
