%0 Journal Article %1 journals/fmsd/FantechiGRCVM94 %A Fantechi, Alessandro %A Gnesi, Stefania %A Ristori, Gioia %A Carenini, Michele %A Vanocchi, Massimo %A Moreschini, Paolo %D 1994 %J Formal Methods Syst. Des. %K dblp %N 3 %P 243-263 %T Assisting Requirement Formalization by Means of Natural Language Translation. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd4.html#FantechiGRCVM94 %V 4

@article{journals/fmsd/FantechiGRCVM94, added-at = {2020-03-13T00:00:00.000+0100}, author = {Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia and Carenini, Michele and Vanocchi, Massimo and Moreschini, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/253622950b86b04f1868d04986a944381/dblp}, ee = {https://doi.org/10.1007/BF01384048}, interhash = {f7bd12f6b0dcf0ac45610d5e59567ab0}, intrahash = {53622950b86b04f1868d04986a944381}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {243-263}, timestamp = {2020-03-14T11:51:10.000+0100}, title = {Assisting Requirement Formalization by Means of Natural Language Translation.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd4.html#FantechiGRCVM94}, volume = 4, year = 1994 }