Prouver les programmes : pourquoi, quand, comment ?

De la spécification à la réalisation, au test et à la preuve : les approches formelles