@book{Huuck_KS_08,
    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}
  }