Dimensions of Formality: A Case Study for MKM in Software Engineering
From AcaWiki
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: