%0 Journal Article %1 journals/re/Smith97 %A Smith, S. R. %D 1997 %J Requir. Eng. %K dblp %N 4 %P 199-216 %T Constructing and Revising Formal Arguments in Requirements Engineering. %U http://dblp.uni-trier.de/db/journals/re/re2.html#Smith97 %V 2

@article{journals/re/Smith97, added-at = {2011-06-03T00:00:00.000+0200}, author = {Smith, S. R.}, biburl = {https://www.bibsonomy.org/bibtex/20034a5e3f8c148f169b195fdbe3e50ac/dblp}, ee = {http://dx.doi.org/10.1007/BF02745372}, interhash = {76276d8724b64cc859fe5c07f5b69b61}, intrahash = {0034a5e3f8c148f169b195fdbe3e50ac}, journal = {Requir. Eng.}, keywords = {dblp}, number = 4, pages = {199-216}, timestamp = {2011-06-04T11:36:04.000+0200}, title = {Constructing and Revising Formal Arguments in Requirements Engineering.}, url = {http://dblp.uni-trier.de/db/journals/re/re2.html#Smith97}, volume = 2, year = 1997 }