Jean-François Caillet, Christian Bonnet, Barbara Raither. High Level Interpretaton of Execution Traces of Ada Tasks. In Howard K. Nichols, Dan Simpson, editors, ESEC 87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings. Volume 289 of Lecture Notes in Computer Science, pages 309-317, Springer, 1987.
Abstract is missing.