%0 Journal Article %1 journals/computer/BowenH06 %A Bowen, Jonathan P. %A Hinchey, Michael G. %D 2006 %J Computer %K dblp %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 = {2020-08-12T00:00:00.000+0200}, author = {Bowen, Jonathan P. and Hinchey, Michael G.}, biburl = {https://www.bibsonomy.org/bibtex/2c3d51437a1e67a0d933bea33f8093631/dblp}, ee = {https://www.wikidata.org/entity/Q56939825}, interhash = {0650f5a65c4149359a23b759138429bd}, intrahash = {c3d51437a1e67a0d933bea33f8093631}, journal = {Computer}, keywords = {dblp}, number = 1, pages = {40-48}, timestamp = {2020-08-13T11:39:41.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 }