Aljoscha Windhorst, Hoang M. Le, Daniel Große, Rolf Drechsler. Funktionale Abdeckungsanalyse von C-Programmen. In Jürgen Ruf, Dirk Allmendinger, Matteo Michel, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. pages 201-204, Cuvillier, 2014.
@inproceedings{WindhorstLGD14,
title = {Funktionale Abdeckungsanalyse von C-Programmen},
author = {Aljoscha Windhorst and Hoang M. Le and Daniel Große and Rolf Drechsler},
year = {2014},
researchr = {https://researchr.org/publication/WindhorstLGD14},
cites = {0},
citedby = {0},
pages = {201-204},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany},
editor = {Jürgen Ruf and Dirk Allmendinger and Matteo Michel},
publisher = {Cuvillier},
}