Jonathan P. Bowen, Steve Reeves
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community
FM, 2011.
@inproceedings{FM-2011-BowenR, author = "Jonathan P. Bowen and Steve Reeves", booktitle = "{Proceedings of the 17th International Symposium of Formal Methods}", doi = "10.1007/978-3-642-21437-0_24", isbn = "978-3-642-21436-3", pages = "308--322", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community}", volume = 6664, year = 2011, }