BibTeX record conf/crisis/DemongeotMT09

• > Home > conf/crisis/DemongeotMT09

@inproceedings{DBLP:conf/crisis/DemongeotMT09,
  author       = {Thomas Demongeot and
                  Julien Mallet and
                  Yves Le Traon},
  editor       = {Anas Abou El Kalam and
                  Yves Deswarte and
                  Mahmoud Mostafa},
  title        = {Runtime verification of declassification for imperative programs:
                  Formal foundations},
  booktitle    = {CRiSIS 2009, Post-Proceedings of the Fourth International Conference
                  on Risks and Security of Internet and Systems, Toulouse, France, October
                  19-22, 2009},
  pages        = {43--50},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/CRISIS.2009.5411980},
  doi          = {10.1109/CRISIS.2009.5411980},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/crisis/DemongeotMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}