@article{DBLP:journals/fmsd/FantechiGRCVM94,
  author       = {Alessandro Fantechi and
                  Stefania Gnesi and
                  Gioia Ristori and
                  Michele Carenini and
                  Massimo Vanocchi and
                  Paolo Moreschini},
  title        = {Assisting Requirement Formalization by Means of Natural Language Translation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {3},
  pages        = {243--263},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384048},
  doi          = {10.1007/BF01384048},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FantechiGRCVM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"9BKJzfzwtttdT4tiR","bibbaseid":"fantechi-gnesi-ristori-carenini-vanocchi-moreschini-assistingrequirementformalizationbymeansofnaturallanguagetranslation-1994","author_short":["Fantechi, A.","Gnesi, S.","Ristori, G.","Carenini, M.","Vanocchi, M.","Moreschini, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Fantechi"],"suffixes":[]},{"firstnames":["Stefania"],"propositions":[],"lastnames":["Gnesi"],"suffixes":[]},{"firstnames":["Gioia"],"propositions":[],"lastnames":["Ristori"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Carenini"],"suffixes":[]},{"firstnames":["Massimo"],"propositions":[],"lastnames":["Vanocchi"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Moreschini"],"suffixes":[]}],"title":"Assisting Requirement Formalization by Means of Natural Language Translation","journal":"Formal Methods Syst. Des.","volume":"4","number":"3","pages":"243–263","year":"1994","url":"https://doi.org/10.1007/BF01384048","doi":"10.1007/BF01384048","timestamp":"Fri, 13 Mar 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/fmsd/FantechiGRCVM94.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fmsd/FantechiGRCVM94,\n author = {Alessandro Fantechi and\n Stefania Gnesi and\n Gioia Ristori and\n Michele Carenini and\n Massimo Vanocchi and\n Paolo Moreschini},\n title = {Assisting Requirement Formalization by Means of Natural Language Translation},\n journal = {Formal Methods Syst. Des.},\n volume = {4},\n number = {3},\n pages = {243--263},\n year = {1994},\n url = {https://doi.org/10.1007/BF01384048},\n doi = {10.1007/BF01384048},\n timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/fmsd/FantechiGRCVM94.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fantechi, A.","Gnesi, S.","Ristori, G.","Carenini, M.","Vanocchi, M.","Moreschini, P."],"key":"DBLP:journals/fmsd/FantechiGRCVM94","id":"DBLP:journals/fmsd/FantechiGRCVM94","bibbaseid":"fantechi-gnesi-ristori-carenini-vanocchi-moreschini-assistingrequirementformalizationbymeansofnaturallanguagetranslation-1994","role":"author","urls":{"Paper":"https://doi.org/10.1007/BF01384048"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/8dcZxrQZq7v9e9Qc4","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ"],"keywords":[],"search_terms":["assisting","requirement","formalization","means","natural","language","translation","fantechi","gnesi","ristori","carenini","vanocchi","moreschini"],"title":"Assisting Requirement Formalization by Means of Natural Language Translation","year":1994}