@unpublished{DF:2010,
author = {Rolf Drechsler and Goerschwin Fey},
title = {Formal verification meets robustness checking - techniques and challenges (Tutorial).},
year = {2010},
note = {gfey, CE},
howpublished = {10-999 DF:2010}
}

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