Jacques Julliand

Jacques Julliand est enseignant-chercheur à l'’université de Franche-Comté (Laboratoire d’informatique). Élaborés pour les étudiants de Licence et de Master d’informatique (sous l’intitulé Preuve et évaluation de programmes et Spécification, vérification et test), les cours qui sont à l’'origine de ce manuel ont été également diffusés à distance.