{"_id":"sfb3aafPGrR8SgER8","bibbaseid":"mondragon-gates-roach-compositepropositionstowardsupportforformalspecificationofsystemproperties-2002","author_short":["Mondragon, O. A.","Gates, A. Q.","Roach, S. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Composite propositions: toward support for formal specification of system properties","shorttitle":"Composite propositions","booktitle":"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Mondragon"],"firstnames":["Oscar","A."],"suffixes":[]},{"propositions":[],"lastnames":["Gates"],"firstnames":["Ann","Q."],"suffixes":[]},{"propositions":[],"lastnames":["Roach"],"firstnames":["Steven","M."],"suffixes":[]}],"year":"2002","keywords":"⛔ No DOI found","pages":"67–74","bibtex":"@inproceedings{mondragon_composite_2002,\n\ttitle = {Composite propositions: toward support for formal specification of system properties},\n\tshorttitle = {Composite propositions},\n\tbooktitle = {27th {Annual} {NASA} {Goddard}/{IEEE} {Software} {Engineering} {Workshop}, 2002. {Proceedings}.},\n\tpublisher = {IEEE},\n\tauthor = {Mondragon, Oscar A. and Gates, Ann Q. and Roach, Steven M.},\n\tyear = {2002},\n\tkeywords = {⛔ No DOI found},\n\tpages = {67--74},\n}\n\n","author_short":["Mondragon, O. A.","Gates, A. Q.","Roach, S. M."],"key":"mondragon_composite_2002","id":"mondragon_composite_2002","bibbaseid":"mondragon-gates-roach-compositepropositionstowardsupportforformalspecificationofsystemproperties-2002","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["composite","propositions","toward","support","formal","specification","system","properties","mondragon","gates","roach"],"title":"Composite propositions: toward support for formal specification of system properties","year":2002}