@article{Raji2010b, Author = {Amine Raji and Philippe Dhaussy}, Date-Added = {2010-07-10 20:26:57 +0200}, Date-Modified = {2010-09-20 20:23:38 +0200}, Journal = {12th International Conference on Enterprise Information Systems, Funchal Madeira (Portugal)}, Month = {June}, Title = {User Context Models: A framework to ease software formal verifications}, Volume = {3}, Year = {2010}}