Roberto Tamassia, Nikos Triandopoulos. Certification and Authentication of Data Structures. In Alberto H. F. Laender, Laks V. S. Lakshmanan, editors, Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, Buenos Aires, Argentina, May 17-20, 2010. Volume 619 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.