 |
Vers un traitement certifié des données : SQL à l'épreuve de Coq
1 : Laboratoire de Recherche en Informatique
Centre National de la Recherche Scientifique : UMR8623, Université Paris-Saclay,Sorbonne Universités
| Type : | : | oral |
| Thématiques | : | Conférence invitée |
| PDF version | : |  PDF version |
- Poster
