@@ -28,7 +28,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
...
@@ -28,7 +28,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="card-text">
<pclass="card-text">
La première tâche du stage consistera à établir une liste de critères qui permet de déterminer la logique minimale d’un problème SMTLIB2, et la deuxième partie du stage sera d’implémenter ces critères dans Dolmen.
La première tâche du stage consistera à établir une liste de critères qui permet de déterminer la logique minimale d’un problème SMTLIB2, et la deuxième partie du stage sera d’implémenter ces critères dans Dolmen.
@@ -145,7 +145,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
...
@@ -145,7 +145,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="card-text">
<pclass="card-text">
L’objectif de ce stage est de développer une version dynamique de ce site, d’améliorer la génération de la documentation et son ergonomie, et de permettre de naviguer facilement dans les sources des paquets.
L’objectif de ce stage est de développer une version dynamique de ce site, d’améliorer la génération de la documentation et son ergonomie, et de permettre de naviguer facilement dans les sources des paquets.