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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelHaifa Verification Conference
Herausgeber (Verlag)Springer
Seiten260-265
Band7857
ISBN (Print)978-3-642-39610-6
PublikationsstatusVeröffentlicht - 2012
VeranstaltungHaifa Verification Conference 2012 - Haifa, Israel
Dauer: 6 Nov 20128 Nov 2012

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzHaifa Verification Conference 2012
LandIsrael
OrtHaifa
Zeitraum6/11/128/11/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren

Bloem, R. P., Drechsler, R., Fey, G., Finder, A., Hofferek, G., Könighofer, R., ... Sülflow, A. (2012). FoREnSiC - An Automatic Debugging Environment for C Programs. in Haifa Verification Conference (Band 7857, S. 260-265). (Lecture Notes in Computer Science). Springer.