%0 Book Section %1 books/daglib/p/BowenH12 %A Bowen, Jonathan P. %A Hinchey, Mike %B Conquering Complexity %D 2012 %E Hinchey, Mike %E Coyle, Lorcan %I Springer %K dblp %P 237-251 %T Ten Commandments of Formal Methods... Ten Years On. %U http://dblp.uni-trier.de/db/books/daglib/0028680.html#BowenH12 %@ 978-1-4471-2296-8

@incollection{books/daglib/p/BowenH12, added-at = {2019-10-19T00:00:00.000+0200}, author = {Bowen, Jonathan P. and Hinchey, Mike}, biburl = {https://www.bibsonomy.org/bibtex/2494ac5fd91618e3dca4973d4e4ec3bf2/dblp}, booktitle = {Conquering Complexity}, crossref = {books/daglib/0028680}, editor = {Hinchey, Mike and Coyle, Lorcan}, ee = {https://www.wikidata.org/entity/Q56939626}, interhash = {00c258c9f6f534127087398dd5f8f38d}, intrahash = {494ac5fd91618e3dca4973d4e4ec3bf2}, isbn = {978-1-4471-2296-8}, keywords = {dblp}, pages = {237-251}, publisher = {Springer}, timestamp = {2019-10-22T13:19:53.000+0200}, title = {Ten Commandments of Formal Methods... Ten Years On.}, url = {http://dblp.uni-trier.de/db/books/daglib/0028680.html#BowenH12}, year = 2012 }