Discover projects, groups and snippets. Share your projects with others
FrameIT Paper for CICM16
Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller
Bachelor Thesis Denis Rochau
Includes Proposal, Thesis and Presentation
Related Work for FrameIT
papers/manuals on the OAF build system.
Proposal (draft) for a COST action dedicated to mathematical data