@inproceedings{raji2011a,
Address = {Lille, France},
Author = {Amine Raji and Philippe Dhaussy},
Booktitle = {7{\`e}mes journ{\'e}es sur l'Ing{\'e}nierie Dirig{\'e}e par les Mod{\`e}les (IDM)},
Date-Added = {2012-02-08 18:47:55 +0000},
Date-Modified = {2012-02-08 18:50:12 +0000},
Month = {juin},
Number = {ISBM 978-2-917490-15-0},
Title = {Mod{\`e}les orient{\'e}s utilisateurs pour la v{\'e}rification formelle en contexte industriel},
Year = {2011}}