Neue Publikation - SBMF 2022

September 20, 2022

Im Rahmen des 25th Brazilian Symposium on Formal Methods (SBMF 2022) werde ich den Artikel “Level-Up - from Bits to Words” präsentieren.