Gastvortrag "Software Verification Witnesses"_拉斯维加斯赌城

Am 16.01.2025 h?lt Marian Lingsch-Rosenfeld von der LMU ab 16:00 Uhr einen Gastvortrag in der Ringvorlesung des Elitestudiengangs Software Engineering. Der Vortrag findet in Raum 1055N statt und hat den Titel "Software Verification Witnesses". Zum Vortrag sind alle herzlich eingeladen.