@inproceedings{gaspar:hal-01168757,
  TITLE = {{Painless Support for Static and Runtime Verification of Component-Based Applications}},
  AUTHOR = {Gaspar, Nuno and Henrio, Ludovic and Madelaine, Eric},
  URL = {https://inria.hal.science/hal-01168757},
  BOOKTITLE = {{6th Fundamentals of Software Engineering (FSEN)}},
  ADDRESS = {Tehran, Iran},
  EDITOR = {Mehdi Dastani and Marjan Sirjani},
  PUBLISHER = {{Springer}},
  SERIES = {Fundamentals of Software Engineering},
  VOLUME = {LNCS-9392},
  PAGES = {259-274},
  YEAR = {2015},
  MONTH = Apr,
  DOI = {10.1007/978-3-319-24644-4\_18},
  KEYWORDS = {The Coq Proof Assistant ; Component-based Engineering ; Formal Methods ; Architecture Description Language},
  PDF = {https://inria.hal.science/hal-01168757v2/file/978-3-319-24644-4_18_Chapter.pdf},
  HAL_ID = {hal-01168757},
  HAL_VERSION = {v2},
}