Skip to main navigation Skip to search Skip to main content

"CEDAR: Counter-Example Driven Abstraction Refinement"

  • Georg Weissenbacher
  • , Wolfgang Herzner

Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

Original languageEnglish
Title of host publicationEuroPLoP'05 -
Pages471-483
Number of pages13
Publication statusPublished - 2006
EventEuroPLoP'05 -
Duration: 1 Jan 2006 → …

Conference

ConferenceEuroPLoP'05
Period1/01/06 → …

Research Field

  • Not defined

Cite this