"CEDAR: Counter-Example Driven Abstraction Refinement"

Georg Weissenbacher, Wolfgang Herzner

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

OriginalspracheEnglisch
TitelEuroPLoP'05 -
Seiten471-483
Seitenumfang13
PublikationsstatusVeröffentlicht - 2006
VeranstaltungEuroPLoP'05 -
Dauer: 1 Jan. 2006 → …

Konferenz

KonferenzEuroPLoP'05
Zeitraum1/01/06 → …

Research Field

  • Nicht definiert

Diese Publikation zitieren