@article{journals/fmsd/FantechiGRCVM94, title = {Assisting Requirement Formalization by Means of Natural Language Translation.}, author = {Alessandro Fantechi and Stefania Gnesi and Gioia Ristori and Michele Carenini and Massimo Vanocchi and Paolo Moreschini}, journal = {Formal Methods in System Design}, number = {3}, pages = {243-263}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd4.html#FantechiGRCVM94}, volume = {4}, year = {1994}, biburl = {http://www.bibsonomy.org/bibtex/243c95ec1e37acb8940e2b33cdabfb38d/dblp}, description = {dblp}, date = {2008-06-05}, keywords = {dblp } }