Structure-Preserving Diagram Operators

von Roux, Navid
Veröffentlicht in WADT (25. : 2020 : Online) Recent Trends in Algebraic Development Techniques (2021)

FramelT: Detangling Knowledge Management from Game Design in Serious Games

von Kohlhase, Michael
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)