A Strategy for the Production of Verifiable Code Using the B Method.

Andrew Storey, Howard P. Haughton

Browse the full FM paper archive.