Citation: Andrea Kohlhase, Michael Kohlhase, Christoph Lange Dimensions of Formality: A Case Study for MKM in Software Engineering.
Tagged:
Summary:
