Peter Lee. Production-Quality Proof-Carrying Code. In Enrico Pontelli, VĂtor Santos Costa, editors, Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Volume 1753 of Lecture Notes in Computer Science, pages 325, Springer, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.