@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}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/certificatesSP13.pdf} }