@inproceedings{fadi:hal-01864787,
  TITLE = {{Model-checking for Secured Component Implementation.}},
  AUTHOR = {Fadi, Obeid and Dhaussy, Philippe},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-01864787},
  BOOKTITLE = {{17th International Conference on Security and Management (SAM'18)}},
  ADDRESS = {Las Vegas, United States},
  YEAR = {2018},
  MONTH = Jul,
  HAL_ID = {hal-01864787},
  HAL_VERSION = {v1},
}