Helmbold, D. and Luckham, D.C. "Debugging Ada Tasking Programs" Technical Report 84-262, Stanford University, July, 1984. Program Analysis and Verification Group Report 25. Also: IEEE Computer Society 1984 Conference on Ada Applications and Environments, October 15-18, St. Paul, Minnesota. (1984) |