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

Activity: Talk or presentationInvited talkScience to science

Description

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