%0 Conference Paper %1 conf/fm/BowenR11 %A Bowen, Jonathan P. %A Reeves, Steve %B FM %D 2011 %E Butler, Michael J. %E Schulte, Wolfram %I Springer %K dblp %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 = {2018-11-14T00:00:00.000+0100}, author = {Bowen, Jonathan P. and Reeves, Steve}, biburl = {https://www.bibsonomy.org/bibtex/2f91d2559bab4d16aae57bbad1dae8a4d/dblp}, booktitle = {FM}, crossref = {conf/fm/2011}, editor = {Butler, Michael J. and Schulte, Wolfram}, ee = {https://www.wikidata.org/entity/Q56939657}, interhash = {16a1d82801f24020bf7540d444429965}, intrahash = {f91d2559bab4d16aae57bbad1dae8a4d}, isbn = {978-3-642-21436-3}, keywords = {dblp}, pages = {308-322}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:59:05.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 }