@inproceedings{Andronick_CP_05,
    address          = {Newcastle, UK},
    author           = {June Andronick and Boutheina Chetali and Christine Paulin-Mohring},
    booktitle        = {Proceedings of the International Symposium on Formal Methods (FM)},
    doi              = {10.1007/11526841_21},
    editor           = {J. Fitzgerald and I. J. Hayes and A. Tarlecki},
    month            = jul,
    pages            = {302--317},
    paperUrl         = {https://trustworthy.systems/publications/papers/Andronick_CP_05.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {{Formal Verification of Security Properties of Smart Card Embedded Source Code}},
    volume           = {3582},
    year             = {2005}
  }