%0 Conference Paper %1 conf/fm/BowenR11 %A Bowen, Jonathan P. %A Reeves, Steve %B FM %D 2011 %E Butler, Michael %E Schulte, Wolfram %I Springer %K Z body case community formal knowledge methods myown notation practice study %P 308-322 %T From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. %U http://dblp.uni-trier.de/db/conf/fm/fm2011.html#BowenR11 %V 6664 %@ 978-3-642-21436-3

@inproceedings{conf/fm/BowenR11, added-at = {2011-08-01T19:24:26.000+0200}, author = {Bowen, Jonathan P. and Reeves, Steve}, biburl = {https://www.bibsonomy.org/bibtex/29f30a6bb4861c6fc23159f138375ef65/jpbowen}, booktitle = {FM}, crossref = {conf/fm/2011}, editor = {Butler, Michael and Schulte, Wolfram}, ee = {http://dx.doi.org/10.1007/978-3-642-21437-0_24}, interhash = {16a1d82801f24020bf7540d444429965}, intrahash = {9f30a6bb4861c6fc23159f138375ef65}, isbn = {978-3-642-21436-3}, keywords = {Z body case community formal knowledge methods myown notation practice study}, pages = {308-322}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-08-02T00:58:49.000+0200}, title = {From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2011.html#BowenR11}, volume = 6664, year = 2011 }