1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011)

Wotawa, F. (Speaker)

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

Description

Talk: Program debugging using constraints – Is it feasible?
Period17 Jul 2011
Held at1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011)
Event typeConference
LocationMadrid, Spain