Jacques Julliand

• Cours et exercices d'algorithmique : Vérifier, tester et concevoir des programmes en les modélisant, Licence et master d'informatique
• B 2007: Formal Specification and Development in B
• B 2007 : Formal Specification and Development in B