Seminar Arbeitsgruppe Rechnerarchitektur Universitaet Bremen

  • Stefan Simon Staber (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

Talk: SAT-basierte Diagnose für formale Eigenschaften
Period2 May 2006
Event titleSeminar Arbeitsgruppe Rechnerarchitektur Universitaet Bremen
Event typeSeminar