|
|
APRe 2024 Workshop
ERC/WPI Event of APRe
April 11-19, 2024, TU Wien
Automated Program Reasoning Group - APRe
Contact: Laura Kovács
|
|
|
|
|
Invited Speakers:
|
|
|
APRe 2024 Workshop
ERC/WPI Event of APRe
April 11-19, 2024, TU Wien
Automated Program Reasoning Group - APRe
Contact: Laura Kovács
|
|
|
|
|
Invited Speakers:
|
