Workshop on Formal Methods in the Development of Software

  • Simona Alina Nica (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science 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, FranceShow on map