%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 }