{"_id":"euanxsYdsSgGBS4w5","bibbaseid":"santos-carvalho-sampaio-formalmodellingofenvironmentrestrictionsfromnaturallanguagerequirements-2018","author_short":["Santos, T.","Carvalho, G.","Sampaio, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal modelling of environment restrictions from natural-language requirements","booktitle":"Brazilian Symposium on Formal Methods","publisher":"Springer","author":[{"propositions":[],"lastnames":["Santos"],"firstnames":["Tainã"],"suffixes":[]},{"propositions":[],"lastnames":["Carvalho"],"firstnames":["Gustavo"],"suffixes":[]},{"propositions":[],"lastnames":["Sampaio"],"firstnames":["Augusto"],"suffixes":[]}],"year":"2018","note":"tex.ids= santos_formal_2018","keywords":"⛔ No DOI found","pages":"252–270","bibtex":"@inproceedings{santos_formal_2018,\n\ttitle = {Formal modelling of environment restrictions from natural-language requirements},\n\tbooktitle = {Brazilian {Symposium} on {Formal} {Methods}},\n\tpublisher = {Springer},\n\tauthor = {Santos, Tainã and Carvalho, Gustavo and Sampaio, Augusto},\n\tyear = {2018},\n\tnote = {tex.ids= santos\\_formal\\_2018},\n\tkeywords = {⛔ No DOI found},\n\tpages = {252--270},\n}\n\n","author_short":["Santos, T.","Carvalho, G.","Sampaio, A."],"key":"santos_formal_2018","id":"santos_formal_2018","bibbaseid":"santos-carvalho-sampaio-formalmodellingofenvironmentrestrictionsfromnaturallanguagerequirements-2018","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":["formal","modelling","environment","restrictions","natural","language","requirements","santos","carvalho","sampaio"],"title":"Formal modelling of environment restrictions from natural-language requirements","year":2018}