Explore projects

Related Work for FrameIT

Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.

Deliverable 4.2

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller