%0 Journal Article %1 journals/computer/BowenH95 %A Bowen, Jonathan P. %A Hinchey, Michael G. %D 1995 %J IEEE Computer %K commandments engineering formal methods myown software ten %N 4 %P 56-63 %T Ten Commandments of Formal Methods. %U http://dblp.uni-trier.de/db/journals/computer/computer28.html#BowenH95 %V 28

@article{journals/computer/BowenH95, added-at = {2011-08-02T00:45:01.000+0200}, author = {Bowen, Jonathan P. and Hinchey, Michael G.}, biburl = {https://www.bibsonomy.org/bibtex/2d3bdb763f348d6e0d92f914e8b9326cb/jpbowen}, description = {dblp}, interhash = {7564093a6f4cdf3ecf5e8e2eb0900919}, intrahash = {d3bdb763f348d6e0d92f914e8b9326cb}, journal = {IEEE Computer}, keywords = {commandments engineering formal methods myown software ten}, number = 4, pages = {56-63}, timestamp = {2011-08-02T00:45:01.000+0200}, title = {Ten Commandments of Formal Methods.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer28.html#BowenH95}, volume = 28, year = 1995 }