Dimensions of Formality: A Case Study for MKM in Software Engineering

From AcaWiki
Jump to: navigation, search

Citation: Andrea Kohlhase, Michael Kohlhase, Christoph Lange Dimensions of Formality: A Case Study for MKM in Software Engineering.
Internet Archive Scholar (search for fulltext): Dimensions of Formality: A Case Study for MKM in Software Engineering
Tagged: