Festschrift Symposium in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th Birthdays

Aichernig, B. (Speaker)

Activity: Talk or presentationInvited talkScience to science

Description

Talk: Deriving Mutation Tests via Refinement
Period24 Sep 2007
Held atFestschrift Symposium in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th Birthdays
Event typeConference