Développement formel de systèmes automatisés / par Olfa Mosbahi-Khalgui, 2008 [thèse]
; sous la dir. de Jacques Jaray
Information trouvée : en poste à l'Ecole Nationale Supérieure des Mines de Nancy (INPL, Vandoeuvre-les-Nancy)
Le langage Snobol 4 : ses applications, son implémentation / Jacques Jaray, 1975
Information trouvée : Titulaire d'un doctorat de spécialité de l'Université de Nancy I en 1975