Formal modelling of environment restrictions from natural-language requirements. Santos, T., Carvalho, G., & Sampaio, A. In Brazilian Symposium on Formal Methods, pages 252–270, 2018. Springer. tex.ids= santos_formal_2018
bibtex   
@inproceedings{santos_formal_2018,
	title = {Formal modelling of environment restrictions from natural-language requirements},
	booktitle = {Brazilian {Symposium} on {Formal} {Methods}},
	publisher = {Springer},
	author = {Santos, Tainã and Carvalho, Gustavo and Sampaio, Augusto},
	year = {2018},
	note = {tex.ids= santos\_formal\_2018},
	keywords = {⛔ No DOI found},
	pages = {252--270},
}

Downloads: 0