Formal Compiler Security

Open seats

Geschrieben am 19.04.2023 16:33 von Xaver Fabian

Hi all,

there are still some open seats available at the seminar. Just register in the CMS.
Additionally, the kick-off slides are now available in the Material section.

cheers