1 paper
Andrea Kohlhase, Michael Kohlhase, Christoph Lange
We study the formalization of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection markup formats ca…