@inproceedings{raji2011b, Author = {Amine Raji and Philippe Dhaussy}, Booktitle = {the 8th International Workshop on Model-Driven Engineering, Verification and Validation (MODEVVA), Wellington, New Zealand}, Date-Added = {2012-02-08 18:46:30 +0000}, Date-Modified = {2012-02-08 18:52:38 +0000}, Month = {October}, Pages = {51--54}, Title = {Improving formal verification practicability through user oriented models and context-awareness}, Volume = {4}, Year = {2011}}