Gastvortrag "Software Verification Witnesses"_伟德国际_伟德国际1946$娱乐app游戏

Institut für Software & Systems Engineering
2025-01-10T10:16:30+00:00
Universit?t Augsburg

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.