%0 Journal Article %1 journals/fmsd/CyreT97 %A Cyre, Walling R. %A Thakar, Aniruddha R. %D 1997 %J Formal Methods Syst. Des. %K dblp %N 1 %P 73-92 %T Generating Validation Feedback for Automatic Interpretation of Informal Requirements. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd10.html#CyreT97 %V 10

@article{journals/fmsd/CyreT97, added-at = {2021-02-03T00:00:00.000+0100}, author = {Cyre, Walling R. and Thakar, Aniruddha R.}, biburl = {https://www.bibsonomy.org/bibtex/2b3baa9a2c2ce3bb4c2d7983b7a4b7fe5/dblp}, ee = {https://doi.org/10.1023/A:1008687607689}, interhash = {d1cadd954d40b4da1393b1c6ebfc5db7}, intrahash = {b3baa9a2c2ce3bb4c2d7983b7a4b7fe5}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {73-92}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Generating Validation Feedback for Automatic Interpretation of Informal Requirements.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd10.html#CyreT97}, volume = 10, year = 1997 }