Workshop on Formal Methods in the Development of Software

Simona Alina Nica (Speaker)

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

Description

Talk: Using Constraints for Equivalent Mutant Detection
Period28 Aug 2012
Event titleWorkshop on Formal Methods in the Development of Software
Event typeConference
LocationParis, France