Identifiant pérenne de la notice : 034097600
Notice de type
Personne
Internet, https://www-verimag.imag.fr/~potet/, 2023-05-09
Preuves et stratégies pour la synthèse déductive de programmes / Marie-Laure Potet
; sous la direction de Paul Jacquet [thèse]