Tuesday, 19.09.2023, 13:10 to 13:40, Raum "Bad Godesberg", Fraunhofer FKIE, Zanderstraße 5, Bonn
Add to Calendar

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

(Lab Final Presentation)

Everybody is cordially invited to attend.