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

Aichernig, B. (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

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