DBLP BibTeX Record 'series/natosec/30'

@book{DBLP:series/natosec/30,
  editor    = {Manfred Broy and
               Christian Leuxner and
               Tony Hoare},
  title     = {Software and Systems Safety - Specification and Verification},
  booktitle = {Software and Systems Safety - Specification and Verification},
  publisher = {IOS Press},
  series    = {NATO Science for Peace and Security Series - D: Information
               and Communication Security},
  volume    = {30},
  year      = {2011},
  isbn      = {978-1-60750-710-9},
  ee        = {http://dx.doi.org/10.3233/978-1-60750-711-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}