You are invited to join us in a Doctoral Colloquium Talk on the 25th of March. Gesina Schwalbe (Uni Bamberg / Continental Corporation) will present her work on Concept Analysis for Verification
Best Regards
Johannes
Thanks for having me!
As promised, find the slides here (also linked in the colloquium agenda).
Best, Gesina