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

Activity: Talk or presentation › Invited talk › Science to science

Description

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