APRe 2019 Workshop
ERC/Wallenberg Event of APRe
November 5-6, 2019, TU Wien

Automated Program Reasoning Group - APRe

Contact: Laura Kovács

Organizers: