@inproceedings{NordioCalcagnoMeyer13,
  author    = {Martin Nordio and
               Cristiano Calcagno and
               Bertrand Meyer},
  title     = {Certificates and Separation Logic},
  booktitle = {proceedings of the 8th International Symposium on Trustworthy Global Computing (TGC)},
  year      = {2013},
  series = {LNCS},
  publisher = {Springer},
}