Seminar Arbeitsgruppe Rechnerarchitektur Universitaet Bremen

Stefan Simon Staber (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

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