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

Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science

Beschreibung

Talk: Deriving Mutation Tests via Refinement
Zeitraum24 Sept. 2007
EreignistitelFestschrift Symposium in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th Birthdays
VeranstaltungstypKonferenz