Conference
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics.
Authors
Autexier S; David C; Dietrich D; Kohlhase M; Zholudev V
Editors
Davenport JH; Farmer WM; Urban J; Rabe F
Series
Lecture Notes in Computer Science
Volume
6824
Pagination
pp. 164-179
Publisher
Springer
Publication Date
January 1, 2011
ISBN-13
978-3-642-22672-4
Conference proceedings
Calculemus/MKM