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

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience 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