%0 Journal Article %1 journals/tse/BustardW94 %A Bustard, David W. %A Winstanley, Adam C. %D 1994 %J IEEE Trans. Software Eng. %K dblp %N 8 %P 562-568 %T Making Changes to Formal Specifications: Requirements and an Example. %U http://dblp.uni-trier.de/db/journals/tse/tse20.html#BustardW94 %V 20

@article{journals/tse/BustardW94, added-at = {2015-12-10T00:00:00.000+0100}, author = {Bustard, David W. and Winstanley, Adam C.}, biburl = {https://www.bibsonomy.org/bibtex/23983e736fce31ce34b6e4c7939235a1b/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.310666}, interhash = {3131e19db7ea3100436a78490bd04679}, intrahash = {3983e736fce31ce34b6e4c7939235a1b}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 8, pages = {562-568}, timestamp = {2015-12-12T11:49:40.000+0100}, title = {Making Changes to Formal Specifications: Requirements and an Example.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse20.html#BustardW94}, volume = 20, year = 1994 }