Property Directed Equivalence via Abstract Simulation
Informazioni aggiuntive
Autori
Sharygina N.,
Fedyukovich G.,
Gurfinkel A.
Tipo
Contributo in atti di convegno
Anno
2016
Lingua
Inglese
Nome convegno
28th CAV 2016
Luogo convegno
Toronto, ON, Canada
Data convegno
July 17-23, 2016
