Herda, NilsNilsHerda2019-09-192014-09-242000https://fis.uni-bamberg.de/handle/uniba/6819Zugl.: Bamberg, Univ., Diss., 2000deuEin Ansatz zur formalen Repräsentation und automatisierten Generierung graphischer Benutzeroberflächendoctoralthesis