Workshop on Formal Methods in the Development of Software

  • Simona Alina Nica (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Using Constraints for Equivalent Mutant Detection
Zeitraum28 Aug. 2012
EreignistitelWorkshop on Formal Methods in the Development of Software
VeranstaltungstypKonferenz
OrtParis, FrankreichAuf Karte anzeigen