Dienstag, 19.09.2023, 13:10 bis 13:40, Raum "Bad Godesberg", Fraunhofer FKIE, Zanderstraße 5, Bonn
In Kalender eintragen

Lucca Ruhland: „Soundness Checking of Symbolic Execution Analysis Using Execution Traces"

(Lab Final Presentation)

Everybody is cordially invited to attend.