You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 

3 lines
307 B

\begin{abstract}
Ce document est un rapport de mes travaux de recherche sur le sujet \emph{TODO}, effectué dans le cadre de ma formation en Master 1 Informatique à l'Université Paris-Saclay, j'ai été encadré par \href{https://www.lri.fr/~filliatr/}{Jean-Christophe \bsc{Filliâtre}}.
\end{abstract}