REFINE’02, the British Computer Society - Formal Aspects of Computing refinement workshop

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

Beschreibung

Talk: Contract-based Mutation Testing in the Refinement Calculus
Zeitraum20 Juli 2002
EreignistitelREFINE’02, the British Computer Society - Formal Aspects of Computing refinement workshop
VeranstaltungstypWorkshop