High-Level Guidance for Managers Deploying Formal Methods in Their Organisation.

Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer

Browse the full FMICS paper archive.