FoREnSiC - An Automatic Debugging Environment for C Programs

Roderick Paul Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, Andre Sülflow

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationHaifa Verification Conference
PublisherSpringer
Pages260-265
Volume7857
ISBN (Print)978-3-642-39610-6
Publication statusPublished - 2012
EventHaifa Verification Conference - Haifa, Israel
Duration: 6 Nov 20128 Nov 2012

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceHaifa Verification Conference
Country/TerritoryIsrael
CityHaifa
Period6/11/128/11/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this