@book{Huuck_KS_08,
    author           = {Huuck, Ralf and Klein, Gerwin and Schlich, Bastian},
    editor           = {{Ralf Huuck, Gerwin Klein and Bastian Schlich}},
    keywords         = {ssv, systems software, verification},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1310.pdf},
    publisher        = {Elsevier},
    series           = {ENTCS},
    title            = {Proceedings of the 3rd International Workshop on Systems Software Verification ({SSV} 2008)},
    volume           = {217},
    year             = {2008}
  }