Dienstag, 19.09.2023, 13:10 bis 13:40, Raum "Bad Godesberg", Fraunhofer FKIE, Zanderstraße 5, Bonn
In Kalender eintragen
![](typo3conf/ext/mbl_newsevent/res/singleics_download.gif)
Lucca Ruhland: „Soundness Checking of Symbolic Execution Analysis Using Execution Traces"
(Lab Final Presentation)
Everybody is cordially invited to attend.