%0 Book %1 gervais_06_refinement %A Gervais, Fr'ed'eric %A Frappier, Marc %A Laleau, R'egine %D 2006 %J : B 2007: Formal Specification and Development in B %K 2006 patterns refinement b %P 201--215 %R 10.1007/11955757_17 %T Refinement of eb 3 Process Patterns into B Specifications %U http://dx.doi.org/10.1007/11955757_17

@book{gervais_06_refinement, added-at = {2009-02-11T20:56:54.000+0100}, author = {Gervais, Fr'{e}d'{e}ric and Frappier, Marc and Laleau, R'{e}gine}, biburl = {https://www.bibsonomy.org/bibtex/28514208492481d2f84ea0136cf1fb204/leonardo}, citeulike-article-id = {1019024}, doi = {10.1007/11955757_17}, interhash = {8982e7b80f8711a8d44b0fdfc7455a79}, intrahash = {8514208492481d2f84ea0136cf1fb204}, journal = {: B 2007: Formal Specification and Development in B}, keywords = {2006 patterns refinement b}, pages = {201--215}, posted-at = {2006-12-29 12:23:49}, priority = {4}, timestamp = {2009-02-11T20:56:54.000+0100}, title = {Refinement of eb 3 Process Patterns into B Specifications}, url = {http://dx.doi.org/10.1007/11955757_17}, year = 2006 }