Formal Methods Communities of Practice: A Survey of Personal Experience.

Jonathan P. Bowen, Peter T. Breuer

Browse the full SEFM paper archive.