@inproceedings{raji:hal-00635904,
  TITLE = {{User context models : a framework to ease software formal verifications}},
  AUTHOR = {Raji, Amine and Dhaussy, Philippe},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00635904},
  BOOKTITLE = {{ICEIS'10 - International Conference on Enterprise Information Systems}},
  ADDRESS = {Madeire, Portugal},
  PAGES = {xx},
  YEAR = {2010},
  MONTH = Jun,
  KEYWORDS = {User Context Models ; Formal verifications ; Context Description Language ; model transformation ; User Context Models.},
  HAL_ID = {hal-00635904},
  HAL_VERSION = {v1},
}