Martin Sjölund, Peter Fritzson. Debugging Symbolic Transformations in Equation Systems. In François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee, editors, Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011. Volume 56 of Linköping Electronic Conference Proceedings, pages 67-74, Linköping University Electronic Press, 2011. [doi]
Abstract is missing.