UNU-IIST Seminar

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Contract-based Mutation Testing in the Refinement Calculus
Period10 Jul 2002
Event titleUNU-IIST Seminar
Event typeSeminar