@entry{bou-con-cou-cou-fer-gho-09-aa-space,
  author = {O Bouissou and E Conquet and P Cousot and R Cousot...},
  title = {Space software validation using abstract interpretation},
  journal = {The International Space ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://hal.inria.fr/inria-00528590/}}},
  quotes = {This paper reports the results of an ESA funded project on the use of abstract interpretation to validate critical real-time embedded space software. Abstract interpretation is industrially ...}
}