Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}