%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 2006 formal patterns b \_pdf design\_patterns %P 125--139 %R http://dx.doi.org/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-03-10T04:46:23.000+0100}, author = {Chan, Edward and Robinson, Ken and Welch, Brett}, biburl = {https://www.bibsonomy.org/bibtex/2b7940b8d170a6209e98df296c7def3fd/leonardo}, citeulike-article-id = {1019018}, doi = {http://dx.doi.org/10.1007/11955757\_12}, interhash = {68fe15936734af5dac7d60a5052e80b2}, intrahash = {b7940b8d170a6209e98df296c7def3fd}, journal = {: B 2007: Formal Specification and Development in B}, keywords = {2006 formal patterns b \_pdf design\_patterns}, pages = {125--139}, posted-at = {2006-12-29 12:18:42}, priority = {4}, timestamp = {2009-03-10T04:46:23.000+0100}, title = {Patterns for B: Bridging Formal and Informal Development}, url = {http://dx.doi.org/10.1007/11955757\_12}, year = 2006 }