@unpublished{BDEF:2009,
author = {Dominique Borrione and Rolf Drechsler and Emmanuelle Encrenaz-Tiphene and Goerschwin Fey},
title = {Formal and Semi-formal Methods for Correctness and Robustness (Tutorial).},
year = {2009},
note = {gfey, CE},
howpublished = {09-999 BDEF:2009}
}

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