%0 Thesis %1 phd/dnb/Weinhold14 %A Weinhold, Carsten %D 2014 %K dblp %P 1-129 %T Reducing size and complexity of the security-critical code base of file systems.

@phdthesis{phd/dnb/Weinhold14, added-at = {2016-04-22T00:00:00.000+0200}, author = {Weinhold, Carsten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25d6c518c3d8f729d0a2ff949d9498895/dblp}, ee = {http://d-nb.info/1068447419}, interhash = {2fa5e9addf7d655ab75ae3afc06dad65}, intrahash = {5d6c518c3d8f729d0a2ff949d9498895}, keywords = {dblp}, pages = {1-129}, school = {Dresden University of Technology}, timestamp = {2016-04-23T09:32:34.000+0200}, title = {Reducing size and complexity of the security-critical code base of file systems.}, year = 2014 }