NICOLAS Valérie-Anne

Équipe : SHAKER  

Fonction : Maître de Conférences

Téléphone : 02 98 01 69 57

Adresse email : 

Adresse : Département Informatique / UBO - 20 Avenue Le Gorgeu - 29200 BREST

Site internet : https://labsticc.univ-brest.fr/~vnicolas/

Mots-Clés : Test de programme, ATPG, analyse de programme, vérification, programmation par contraintes.