NICOLAS Valérie-Anne

Team : SHAKER  

Position : Associate professor

Phone : 02 98 01 69 57

email : 

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

Website : https://labsticc.univ-brest.fr/~vnicolas/

Keywords : Program testing, ATPG, program analysis, verification, constraint programming.