@inproceedings{BDF+:2012,
author = {Roderick Bloem and Rolf Drechsler and Goerschwin Fey and Alexander Finder and Georg Hofferek and Robert Könighofer and Jaan Raik and Urmas Repinski and André Sülflow},
title = {FoREnSiC - An Automatic Debugging Environment for C Programs.},
year = {2012},
pages = {260-265},
note = {gfey, CE},
howpublished = {12-999 BDF+:2012 HVC},
booktitle = {IBM Haifa Verification Conference (HVC)}
}

@COMMENT{Bibtex file generated on 2026-7-1 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }