%0 Journal Article %1 journals/entcs/CabralS08 %A Cabral, Gustavo %A Sampaio, Augusto %D 2008 %J Electron. Notes Theor. Comput. Sci. %K %P 171-188 %T Formal Specification Generation from Requirement Documents. %U http://dblp.uni-trier.de/db/journals/entcs/entcs195.html#CabralS08 %V 195

@article{journals/entcs/CabralS08, added-at = {2023-12-14T15:04:29.000+0100}, author = {Cabral, Gustavo and Sampaio, Augusto}, biburl = {https://www.bibsonomy.org/bibtex/21bdf34159f2f4f66d6543821eeeb6b30/admin}, ee = {https://doi.org/10.1016/j.entcs.2007.08.032}, interhash = {e6ddca0f86a80ce83463d9c97dac75ea}, intrahash = {1bdf34159f2f4f66d6543821eeeb6b30}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {171-188}, timestamp = {2023-12-14T15:04:29.000+0100}, title = {Formal Specification Generation from Requirement Documents.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs195.html#CabralS08}, volume = 195, year = 2008 }