Si vous avez été formé à l'utilisation des méthodes formelles (FM) pour la programmation: Dans quelle mesure l'avez-vous trouvé? En quoi consistait votre formation FM (par exemple un cours, un livre)? Quels outils FM utilisez-vous? Quels avantages en termes de vitesse / qualité cela vous a-t-il...