David Obwaller

发表

M. Hofmann, Florian Zuleger, Lorenz Leutgeb, 2021, Mathematical Structures in Computer Science.