diff --git a/doc/pdg/main.tex b/doc/pdg/main.tex index 3c36466ebbccfe3fbfc8290100bcd25276579c4c..ca47e607056375c04fe2cd5f00a980bdc09c3f60 100644 --- a/doc/pdg/main.tex +++ b/doc/pdg/main.tex @@ -14,7 +14,8 @@ \title{Documentation du greffon PDG}{Calcul de dépendances dans un programme C} \author{Anne Pacalet et Patrick Baudin} \begin{tabular}{l} -CEA LIST, Laboratoire de Sûreté et Sécurité des Logiciels, Saclay, F-91191 \\ + CEA-List, Université Paris-Saclay \\ + Laboratoire de Sûreté et Sécurité des Logiciels \\ \end{tabular} \vfill \begin{flushleft} diff --git a/doc/slicing/main.tex b/doc/slicing/main.tex index a95e2a4163b83cb2eaa8a26b036775a612a1dc0c..84b6368ed1a84dba5be85e2d8a4dad3d82692fca 100644 --- a/doc/slicing/main.tex +++ b/doc/slicing/main.tex @@ -16,7 +16,8 @@ \title{Documentation du greffon Slicing}{Conception d'un outil de Slicing} \author{Anne Pacalet et Patrick Baudin} \begin{tabular}{l} -CEA List, Laboratoire de Sûreté et Sécurité des Logiciels, Saclay, F-91191 \\ + CEA-List, Université Paris-Saclay \\ + Laboratoire de Sûreté et Sécurité des Logiciels \\ \end{tabular} \vfill \begin{flushleft}