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
Held atUNU-IIST Seminar
Event typeSeminar