Visualising SMT-Based Parallel Constraint Solving
Additional information
Authors
Sharygina N.,
Budakovic J.,
Marescotti M.,
Hyvärinen A.
Type
Article in conference proceedings
Year
2017
Language
English
Meeting name
15th SMT 2017
Meeting place
Heidelberg, Germany
Meeting date
July 22 - 23, 2017
