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

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

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