Announcement_17

Visited Helmut Seidl’s group at TUM for a few days and got to talk to old colleagues, some current collaborators, and undergrads currently doing BSc and MSc theses on Goblint. Thanks for having me!