From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community.

Jonathan P. Bowen, Steve Reeves

Browse the full FM paper archive.