@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 = {{Fundamentals of Software Engineering (FSEN'2015)}},
  ADDRESS = {Teheran, Iran},
  PAGES = {15},
  YEAR = {2015},
  MONTH = Apr,
  KEYWORDS = {The Coq Proof Assistant ; Component-based Engineering ; Formal Methods ; Architecture Description Language},
  PDF = {https://inria.hal.science/hal-01168757v1/file/FSEN2015-postproceedings.pdf},
  HAL_ID = {hal-01168757},
  HAL_VERSION = {v1},
}