Visualising SMT-Based Parallel Constraint Solving
Informazioni aggiuntive
Autori
Sharygina N.,
Budakovic J.,
Marescotti M.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2017
Lingua
Inglese
Nome convegno
15th SMT 2017
Luogo convegno
Heidelberg, Germany
Data convegno
July 22 - 23, 2017
