Books about Debugging in computer science -- Congresses

Debugging techniques in large systems.

Edited by Randall Rustin.

B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings

Jacques Julliand, Olga Kouchnarenko (eds.).

Proceedings, International Conference on Reliable Software

International Hotel, Los Angeles, Calif., 21-23 April 1975.

Automated and algorithmic debugging: first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings

Peter A. Fritzson, ed.

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging: May 17-18, 1993, San Diego, California.

ACM/ONR Workshop on Parallel and Distributed Debugging (1993 San Diego, Calif.)

Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging: May 5-6, 1988, University of Wisconsin, Madison, Wisconsin 53706

[sponsored by the Special Interest Group on Programming Languages, Association for Computing Machinery].

B'98: recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

Didier Bert (ed.)

AADEBUG 2005: proceedings of the Sixth International Symposium on Automated & Analysis-Driven Debugging : Monterey, California, USA, September 19-21, 2005

sponsored by ACM SIGPLAN and ACM SIGSOFT.

Debugging techniques in large systems.: Edited by Randall Rustin.

Courant Institute of Mathematical Sciences (Symposium on Debugging Techniques in Large Systems)

Proceedings

International Conference on Reliable Software, 21-23 April 1975, Los Angeles, California, USA ; sponsors, Association for Computing Machinery ... [et al.].

Debugging in computer science -- Congresses