Andreescu, Oana Fabiana (1987-....)

Identifiant pérenne de la notice : 223408417

URI de l'entité : http://www.idref.fr/223408417/id

Notice de type Personne

Point d'accès autorisé

Andreescu, Oana Fabiana (1987-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : anglais

Pays : Roumanie

Date de naissance : 1987

Genre : Féminin

Notes

Note publique d'information :

Titulaire d'un doctorat en informatique à Rennes 1 en 2017

Identifiants externes

Source

Static analysis of functional programs with an application to the frame problem in deductive verification / Oana Fabiana Andreescu, 2017 [Thèse]

... Références liées : ...