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 bendisposto_06_be4
%A Bendisposto, Jens
%A Leuschel, Michael
%D 2006
%J : B 2007: Formal Specification and Development in B
%K 2006 b eclipse
%P 270--273
%R 10.1007/11955757_27
%T BE4: The B Extensible Eclipse Editing Environment
%U http://dx.doi.org/10.1007/11955757_27
@book{bendisposto_06_be4,
added-at = {2009-02-11T20:55:26.000+0100},
author = {Bendisposto, Jens and Leuschel, Michael},
biburl = {https://www.bibsonomy.org/bibtex/2de1123fd0e31715fe79f4c652a07ee0a/leonardo},
citeulike-article-id = {1019022},
doi = {10.1007/11955757_27},
interhash = {df36f9e048dcd452cc017243099fe3c0},
intrahash = {de1123fd0e31715fe79f4c652a07ee0a},
journal = {: B 2007: Formal Specification and Development in B},
keywords = {2006 b eclipse},
pages = {270--273},
posted-at = {2006-12-29 12:22:25},
priority = {3},
timestamp = {2009-02-11T20:55:26.000+0100},
title = {BE4: The B Extensible Eclipse Editing Environment},
url = {http://dx.doi.org/10.1007/11955757_27},
year = 2006
}