Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev. Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe, editors, Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Volume 6824 of Lecture Notes in Computer Science, pages 164-179, Springer, 2011. [doi]
Abstract is missing.