@proceedings{ssv-12,
  editor    = {Franck Cassez and
               Ralf Huuck and
               Gerwin Klein and
               Bastian Schlich},
  title     = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
               2012, Sydney, Australia, 28-30 November 2012},
  series    = {{EPTCS}},
  volume    = {102},
  year      = {2012},
  url       = {http://dx.doi.org/10.4204/EPTCS.102},
  doi       = {10.4204/EPTCS.102},
  category= {Proceedings (Editor)},
  mywebpage = {},
  show = {},
  keywords = {Proceedings},
      Type = {D - Conference Proceedings},
}

{"_id":"qqqkFoq2Fm8iHaZht","bibbaseid":"cassez-huuck-klein-schlich-proceedingsseventhconferenceonsystemssoftwareverificationssv2012sydneyaustralia2830november2012-2012","bibdata":{"bibtype":"proceedings","type":"D - Conference Proceedings","editor":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Ralf"],"propositions":[],"lastnames":["Huuck"],"suffixes":[]},{"firstnames":["Gerwin"],"propositions":[],"lastnames":["Klein"],"suffixes":[]},{"firstnames":["Bastian"],"propositions":[],"lastnames":["Schlich"],"suffixes":[]}],"title":"Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012","series":"EPTCS","volume":"102","year":"2012","url":"http://dx.doi.org/10.4204/EPTCS.102","doi":"10.4204/EPTCS.102","category":"Proceedings (Editor)","mywebpage":"","show":"","keywords":"Proceedings","bibtex":"@proceedings{ssv-12,\n editor = {Franck Cassez and\n Ralf Huuck and\n Gerwin Klein and\n Bastian Schlich},\n title = {Proceedings Seventh Conference on Systems Software Verification, {SSV}\n 2012, Sydney, Australia, 28-30 November 2012},\n series = {{EPTCS}},\n volume = {102},\n year = {2012},\n url = {http://dx.doi.org/10.4204/EPTCS.102},\n doi = {10.4204/EPTCS.102},\n category= {Proceedings (Editor)},\n mywebpage = {},\n show = {},\n keywords = {Proceedings},\n Type = {D - Conference Proceedings},\n}\n\n","editor_short":["Cassez, F.","Huuck, R.","Klein, G.","Schlich, B."],"key":"ssv-12","id":"ssv-12","bibbaseid":"cassez-huuck-klein-schlich-proceedingsseventhconferenceonsystemssoftwareverificationssv2012sydneyaustralia2830november2012-2012","role":"editor","urls":{"Paper":"http://dx.doi.org/10.4204/EPTCS.102"},"keyword":["Proceedings"],"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":["proceedings"],"search_terms":["proceedings","seventh","conference","systems","software","verification","ssv","2012","sydney","australia","november","2012"],"title":"Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012","year":2012}