Lattice-Based Refinement in Bounded Model Checking
Informazioni aggiuntive
Autori
Sharygina N.,
Even-Mendoza K.,
Asadi S.,
Hyvärinen A.,
Chockler H.
Tipo
Contributo in atti di convegno
Anno
2018
Lingua
Inglese
Nome convegno
10th VSTTE 2018
Luogo convegno
Oxford, UK
Data convegno
July 18-19, 2018
