|
|
APRe 2019 Workshop
ERC/Wallenberg Event of APRe
November 5-6, 2019, TU Wien
Automated Program Reasoning Group - APRe
Contact: Laura Kovács
|
|
|
|
|
Invited Speakers:
|
|
|
APRe 2019 Workshop
ERC/Wallenberg Event of APRe
November 5-6, 2019, TU Wien
Automated Program Reasoning Group - APRe
Contact: Laura Kovács
|
|
|
|
|
Invited Speakers:
|
