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

Andrea Kohlhase, Michael Kohlhase, Christoph Lange

Browse the full AISC paper archive.