Invited Speaker
- Armin Biere, JKU Linz, Austria
- Roberto Sebastiani, University of Trento, Italy (jointly with the SMT 2019 workshop)
|
|
VAMPIRE 2019: THE 6TH VAMPIRE WORKSHOP
Invited Speaker
|
|