{"_id":"fuoNyhyhThvsAzQFp","bibbaseid":"zimmerman-lundqvist-leveson-investigatingthereadabilityofstatebasedformalrequirementsspecificationlanguages-2002","author_short":["Zimmerman, M. K.","Lundqvist, K.","Leveson, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Investigating the readability of state-based formal requirements specification languages","doi":"10/b89zpr","booktitle":"Proceedings of the 24th International Conference on Software Engineering. ICSE 2002","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Zimmerman"],"firstnames":["Marc","K."],"suffixes":[]},{"propositions":[],"lastnames":["Lundqvist"],"firstnames":["Kristina"],"suffixes":[]},{"propositions":[],"lastnames":["Leveson"],"firstnames":["Nancy"],"suffixes":[]}],"year":"2002","pages":"33–43","bibtex":"@inproceedings{zimmerman_investigating_2002,\n\ttitle = {Investigating the readability of state-based formal requirements specification languages},\n\tdoi = {10/b89zpr},\n\tbooktitle = {Proceedings of the 24th {International} {Conference} on {Software} {Engineering}. {ICSE} 2002},\n\tpublisher = {IEEE},\n\tauthor = {Zimmerman, Marc K. and Lundqvist, Kristina and Leveson, Nancy},\n\tyear = {2002},\n\tpages = {33--43},\n}\n\n","author_short":["Zimmerman, M. K.","Lundqvist, K.","Leveson, N."],"key":"zimmerman_investigating_2002","id":"zimmerman_investigating_2002","bibbaseid":"zimmerman-lundqvist-leveson-investigatingthereadabilityofstatebasedformalrequirementsspecificationlanguages-2002","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"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}