Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}