International Workshop on Principles of Diagnosis

Mihai Nica (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: On the use of Specification Knowledge in Program Debugging.
Period14 Jun 2009 - 17 Jun 2009
Held atInternational Workshop on Principles of Diagnosis
Event typeConference
LocationCarcassonne, France