Am Mittwoch, den 17. Juli hält Viktor Tran einen Zwischenvortrag zu seiner Masterarbeit Pareto-optimale SAT-basierte Testmustererzeugung. Der Vortrag startet um 10:00 Uhr in unserem Seminarraum (P1.6.17.1). Alle Interessierten sind hierzu herzlich eingeladen!
