Title: B 2007
Subjects: B method (Computer science), Debugging in computer science, Congresses