Logique de séparation et vérification déductive / par Bobot François, 12/12/2011
https://fr.linkedin.com/in/fran%C3%A7ois-bobot-73074382, 2023-09-06
Information trouvée : Ingénieur-chercheur chez CEA - Commissariat à l'énergie atomique et aux énergies alternatives
(en 2023)