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

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

Talk: Contract-based Mutation Testing in the Refinement Calculus
Period20 Jul 2002
Event titleREFINE’02, the British Computer Society - Formal Aspects of Computing refinement workshop
Event typeWorkshop