Langage de spécification : B

• Transparents du cours

• Partie 1

• Partie 2

• Partie 3

• Partie 4