La déduction de type en C++

Je suis fainéant donc je laisse le compilateur faire le travail

• c++

Le langage C

• c

Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

• c
• méthodes formelles
• preuve déductive

Présenter du code source dans un document LaTeX

Le package minted

• latex