Seminar Arbeitsgruppe Rechnerarchitektur Universitaet Bremen

  • Stefan Simon Staber (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: SAT-basierte Diagnose für formale Eigenschaften
Zeitraum2 Mai 2006
EreignistitelSeminar Arbeitsgruppe Rechnerarchitektur Universitaet Bremen
VeranstaltungstypSeminar