Formal methods for informal developpers: A case-study driven by the French defense agency (DGA).

Quentin Ochem, Eric Perlade

Browse the full ISSRE paper archive.