Telecharger Cours

Cours, TD et TP de preuves de programmes - IRIF

Une fois la spécification d'un programme établie, la preuve de la correction du programme vis-à-vis de sa spécification est un problème tout aussi difficile ...



Download