@proceedings{HKS09,
    Address = {Aachen, Germany},
    Editor = {Huuck, R. and Klein, G. and Schlich, B.},
    Issn = {0935-3232},
    Month = {June},
    Number = {AIB-2009-14},
    Publisher = {RWTH Aachen University},
    Series = {Aachener Informatik Berichte},
    Title = {{Doctoral Symposium on Systems Software Verification (DS SSV'09), Aachen, Germany}},
    Url = {http://aib.informatik.rwth-aachen.de/2009/2009-14.pdf},
    Year = {2009}
}