Tuesday, 19.09.2023, 13:10 to 13:40, Raum "Bad Godesberg", Fraunhofer FKIE, Zanderstraße 5, Bonn
Add to Calendar
![](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.