%0 Journal Article %1 journals/computer/BowenH06 %A Bowen, Jonathan P. %A Hinchey, Michael G. %D 2006 %J IEEE Computer %K commandments engineering formal methods myown software ten %N 1 %P 40-48 %T Ten Commandments of Formal Methods ...Ten Years Later. %U http://dblp.uni-trier.de/db/journals/computer/computer39.html#BowenH06 %V 39

@article{journals/computer/BowenH06, added-at = {2011-08-01T22:08:24.000+0200}, author = {Bowen, Jonathan P. and Hinchey, Michael G.}, biburl = {https://www.bibsonomy.org/bibtex/2fc2ff1cd5e2de232cd7c50124aaa6937/jpbowen}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.35}, interhash = {0650f5a65c4149359a23b759138429bd}, intrahash = {fc2ff1cd5e2de232cd7c50124aaa6937}, journal = {IEEE Computer}, keywords = {commandments engineering formal methods myown software ten}, number = 1, pages = {40-48}, timestamp = {2011-08-01T22:08:24.000+0200}, title = {Ten Commandments of Formal Methods ...Ten Years Later.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer39.html#BowenH06}, volume = 39, year = 2006 }