%0 Book %1 chan_06_patterns %A Chan, Edward %A Robinson, Ken %A Welch, Brett %D 2006 %J : B 2007: Formal Specification and Development in B %K design_patterns 2006 formal patterns b %P 125--139 %R 10.1007/11955757_12 %T Patterns for B: Bridging Formal and Informal Development %U http://dx.doi.org/10.1007/11955757_12

@book{chan_06_patterns, added-at = {2009-02-11T20:55:56.000+0100}, author = {Chan, Edward and Robinson, Ken and Welch, Brett}, biburl = {https://www.bibsonomy.org/bibtex/2b1b9a4d58a98a9d3ef1785766055d9ca/leonardo}, citeulike-article-id = {1019018}, doi = {10.1007/11955757_12}, interhash = {737a802c65f9c63c219981cec11eea4d}, intrahash = {b1b9a4d58a98a9d3ef1785766055d9ca}, journal = {: B 2007: Formal Specification and Development in B}, keywords = {design_patterns 2006 formal patterns b}, pages = {125--139}, posted-at = {2006-12-29 12:18:42}, priority = {4}, timestamp = {2009-02-11T20:55:56.000+0100}, title = {Patterns for B: Bridging Formal and Informal Development}, url = {http://dx.doi.org/10.1007/11955757_12}, year = 2006 }