Gastvortrag "Usability and Infrastructure: Challenges in Software Verification"_拉斯维加斯赌城

Am 28.11.2024 h?lt Henrik Wachowitz 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 "Usability and Infrastructure: Challenges in Software Verification". Zum Vortrag sind alle herzlich eingeladen.