Preuve, analyse statique et vérification runtime

Preuve, analyse statique et vérification runtime

Leçon 6 : Quelques éléments de stratégie de preuve de programmes . ... exercices corrigés d'algorithmique - Vérifier, tester et concevoir des programmes en ...