@inproceedings{conf/icse/ZimmermanLL02,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Zimmerman, Marc K. and Lundqvist, Kristina and Leveson, Nancy G.},
  biburl = {https://www.bibsonomy.org/bibtex/2c786217a06349563bb12496cc08f4f1b/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2002},
  editor = {Tracz, Will and Young, Michal and Magee, Jeff},
  ee = {https://doi.org/10.1145/581339.581347},
  interhash = {202a0aa8fad834fcadac252316b92147},
  intrahash = {c786217a06349563bb12496cc08f4f1b},
  keywords = {dblp},
  pages = {33-43},
  publisher = {ACM},
  timestamp = {2018-11-07T14:45:33.000+0100},
  title = {Investigating the readability of state-based formal requirements specification languages.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2002.html#ZimmermanLL02},
  year = 2002
}

{"_id":"fuoNyhyhThvsAzQFp","bibbaseid":"zimmerman-lundqvist-leveson-investigatingthereadabilityofstatebasedformalrequirementsspecificationlanguages-2002","author_short":["Zimmerman, M. K.","Lundqvist, K.","Leveson, N. G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Zimmerman"],"firstnames":["Marc","K."],"suffixes":[]},{"propositions":[],"lastnames":["Lundqvist"],"firstnames":["Kristina"],"suffixes":[]},{"propositions":[],"lastnames":["Leveson"],"firstnames":["Nancy","G."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2c786217a06349563bb12496cc08f4f1b/dblp","booktitle":"ICSE","crossref":"conf/icse/2002","editor":[{"propositions":[],"lastnames":["Tracz"],"firstnames":["Will"],"suffixes":[]},{"propositions":[],"lastnames":["Young"],"firstnames":["Michal"],"suffixes":[]},{"propositions":[],"lastnames":["Magee"],"firstnames":["Jeff"],"suffixes":[]}],"ee":"https://doi.org/10.1145/581339.581347","interhash":"202a0aa8fad834fcadac252316b92147","intrahash":"c786217a06349563bb12496cc08f4f1b","keywords":"dblp","pages":"33-43","publisher":"ACM","timestamp":"2018-11-07T14:45:33.000+0100","title":"Investigating the readability of state-based formal requirements specification languages.","url":"http://dblp.uni-trier.de/db/conf/icse/icse2002.html#ZimmermanLL02","year":"2002","bibtex":"@inproceedings{conf/icse/ZimmermanLL02,\n added-at = {2018-11-06T00:00:00.000+0100},\n author = {Zimmerman, Marc K. and Lundqvist, Kristina and Leveson, Nancy G.},\n biburl = {https://www.bibsonomy.org/bibtex/2c786217a06349563bb12496cc08f4f1b/dblp},\n booktitle = {ICSE},\n crossref = {conf/icse/2002},\n editor = {Tracz, Will and Young, Michal and Magee, Jeff},\n ee = {https://doi.org/10.1145/581339.581347},\n interhash = {202a0aa8fad834fcadac252316b92147},\n intrahash = {c786217a06349563bb12496cc08f4f1b},\n keywords = {dblp},\n pages = {33-43},\n publisher = {ACM},\n timestamp = {2018-11-07T14:45:33.000+0100},\n title = {Investigating the readability of state-based formal requirements specification languages.},\n url = {http://dblp.uni-trier.de/db/conf/icse/icse2002.html#ZimmermanLL02},\n year = 2002\n}\n\n","author_short":["Zimmerman, M. K.","Lundqvist, K.","Leveson, N. G."],"editor_short":["Tracz, W.","Young, M.","Magee, J."],"key":"conf/icse/ZimmermanLL02","id":"conf/icse/ZimmermanLL02","bibbaseid":"zimmerman-lundqvist-leveson-investigatingthereadabilityofstatebasedformalrequirementsspecificationlanguages-2002","role":"author","urls":{"Link":"https://doi.org/10.1145/581339.581347","Paper":"http://dblp.uni-trier.de/db/conf/icse/icse2002.html#ZimmermanLL02"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Leveson, Nancy G.?items=1000","dataSources":["YCBcQPneB9oxahSnp","m3Xn3LSF9zLLN37Hq"],"keywords":["dblp"],"search_terms":["investigating","readability","state","based","formal","requirements","specification","languages","zimmerman","lundqvist","leveson"],"title":"Investigating the readability of state-based formal requirements specification languages.","year":2002}