%0 Journal Article %1 journals/smr/WardB95 %A Ward, Martin P. %A Bennett, Keith H. %D 1995 %J Journal of Software Maintenance %K dblp %N 3 %P 203-219 %T Formal methods for legacy systems. %U http://dblp.uni-trier.de/db/journals/smr/smr7.html#WardB95 %V 7

@article{journals/smr/WardB95, added-at = {2014-05-12T00:00:00.000+0200}, author = {Ward, Martin P. and Bennett, Keith H.}, biburl = {https://www.bibsonomy.org/bibtex/2be2fea5f208675ddb0c0819821e7c434/dblp}, ee = {http://dx.doi.org/10.1002/smr.4360070305}, interhash = {cee446472a9df6e7a729727c91c6c758}, intrahash = {be2fea5f208675ddb0c0819821e7c434}, journal = {Journal of Software Maintenance}, keywords = {dblp}, number = 3, pages = {203-219}, timestamp = {2015-06-18T04:49:34.000+0200}, title = {Formal methods for legacy systems.}, url = {http://dblp.uni-trier.de/db/journals/smr/smr7.html#WardB95}, volume = 7, year = 1995 }