Skip to main navigation
Skip to search
Skip to main content
Graz University of Technology Home
English
Deutsch
Home
Persons
Research Outputs
Research units
Projects
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
UNU-IIST Seminar
Aichernig, B.
(Speaker)
Institute of Software Technology (7160)
Activity
:
Talk or presentation
›
Talk at workshop, seminar or course
›
Science to science
Description
Talk: Contract-based Mutation Testing in the Refinement Calculus
Period
10 Jul 2002
Event title
UNU-IIST Seminar
Event type
Seminar