UNU-IIST Seminar

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
Zeitraum10 Jul 2002
Gehalten amUNU-IIST Seminar
VeranstaltungstypSeminar