@inproceedings{conf/sefm/BarnatBB12,
  author = {Barnat, Jiri and Bauch, Petr and Brim, Lubos},
  booktitle = {SEFM},
  crossref = {conf/sefm/2012},
  editor = {Eleftherakis, George and Hinchey, Mike and Holcombe, Mike},
  ee = {http://dx.doi.org/10.1007/978-3-642-33826-7_4},
  interhash = {4b75abd94ce8c7b0aa38afeca7f9e4bb},
  intrahash = {7d097d522d2d64c2e77f629dc7733947},
  isbn = {978-3-642-33825-0},
  pages = {48-62},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Checking Sanity of Software Requirements.},
  url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2012.html#BarnatBB12},
  volume = 7504,
  year = 2012
}

{"_id":"ZzMwCgTAXD84DqYpi","bibbaseid":"barnat-bauch-brim-checkingsanityofsoftwarerequirements-2012","downloads":0,"creationDate":"2017-04-26T09:41:24.085Z","title":"Checking Sanity of Software Requirements.","author_short":["Barnat, J.","Bauch, P.","Brim, L."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Lubos Brim?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Barnat"],"firstnames":["Jiri"],"suffixes":[]},{"propositions":[],"lastnames":["Bauch"],"firstnames":["Petr"],"suffixes":[]},{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]}],"booktitle":"SEFM","crossref":"conf/sefm/2012","editor":[{"propositions":[],"lastnames":["Eleftherakis"],"firstnames":["George"],"suffixes":[]},{"propositions":[],"lastnames":["Hinchey"],"firstnames":["Mike"],"suffixes":[]},{"propositions":[],"lastnames":["Holcombe"],"firstnames":["Mike"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-642-33826-7_4","interhash":"4b75abd94ce8c7b0aa38afeca7f9e4bb","intrahash":"7d097d522d2d64c2e77f629dc7733947","isbn":"978-3-642-33825-0","pages":"48-62","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Checking Sanity of Software Requirements.","url":"http://dblp.uni-trier.de/db/conf/sefm/sefm2012.html#BarnatBB12","volume":"7504","year":"2012","bibtex":"@inproceedings{conf/sefm/BarnatBB12,\n author = {Barnat, Jiri and Bauch, Petr and Brim, Lubos},\n booktitle = {SEFM},\n crossref = {conf/sefm/2012},\n editor = {Eleftherakis, George and Hinchey, Mike and Holcombe, Mike},\n ee = {http://dx.doi.org/10.1007/978-3-642-33826-7_4},\n interhash = {4b75abd94ce8c7b0aa38afeca7f9e4bb},\n intrahash = {7d097d522d2d64c2e77f629dc7733947},\n isbn = {978-3-642-33825-0},\n pages = {48-62},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Checking Sanity of Software Requirements.},\n url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2012.html#BarnatBB12},\n volume = 7504,\n year = 2012\n}\n\n","author_short":["Barnat, J.","Bauch, P.","Brim, L."],"editor_short":["Eleftherakis, G.","Hinchey, M.","Holcombe, M."],"key":"conf/sefm/BarnatBB12","id":"conf/sefm/BarnatBB12","bibbaseid":"barnat-bauch-brim-checkingsanityofsoftwarerequirements-2012","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-33826-7_4","Paper":"http://dblp.uni-trier.de/db/conf/sefm/sefm2012.html#BarnatBB12"},"downloads":0},"search_terms":["checking","sanity","software","requirements","barnat","bauch","brim"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}