Biographie de Jacques Julliand
Jacques Julliand est enseignant-chercheur à l'université de Franche-Comté (Laboratoire d'informatique). Elaboré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.