%0 Journal Article %1 journals/tse/HeitmeyerM83 %A Heitmeyer, Constance L. %A McLean, John D. %D 1983 %J IEEE Trans. Software Eng. %K dblp %N 5 %P 580-589 %T Abstract Requirements Specification: A New Approach and Its Application. %U http://dblp.uni-trier.de/db/journals/tse/tse9.html#HeitmeyerM83 %V 9

@article{journals/tse/HeitmeyerM83, added-at = {2015-12-10T00:00:00.000+0100}, author = {Heitmeyer, Constance L. and McLean, John D.}, biburl = {https://www.bibsonomy.org/bibtex/238826a0dd6849c604aa2cf2c57ad539f/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1983.235117}, interhash = {e73fa6da8e83e15246dddcdc562d1572}, intrahash = {38826a0dd6849c604aa2cf2c57ad539f}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 5, pages = {580-589}, timestamp = {2015-12-12T11:54:00.000+0100}, title = {Abstract Requirements Specification: A New Approach and Its Application.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse9.html#HeitmeyerM83}, volume = 9, year = 1983 }