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