%0 Journal Article %1 journals/computer/PfleegerH97 %A Pfleeger, Shari Lawrence %A Hatton, Les %D 1997 %J Computer %K dblp %N 2 %P 33-43 %T Investigating the Influence of Formal Methods. %U http://dblp.uni-trier.de/db/journals/computer/computer30.html#PfleegerH97 %V 30

@article{journals/computer/PfleegerH97, added-at = {2020-08-12T00:00:00.000+0200}, author = {Pfleeger, Shari Lawrence and Hatton, Les}, biburl = {https://www.bibsonomy.org/bibtex/2b89456f41424e8a781581dc0656c72fe/dblp}, ee = {https://www.wikidata.org/entity/Q56783502}, interhash = {6c50a46f4dd287fad90f5bfc3899a283}, intrahash = {b89456f41424e8a781581dc0656c72fe}, journal = {Computer}, keywords = {dblp}, number = 2, pages = {33-43}, timestamp = {2020-08-13T11:44:10.000+0200}, title = {Investigating the Influence of Formal Methods.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer30.html#PfleegerH97}, volume = 30, year = 1997 }