Xavier Leroy. Computer security from a programming language and static analysis perspective. In P. Degano, editor, Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, volume 2618 of Lecture Notes in Computer Science, pages 1-9. Springer, 2003. Abstract of invited lecture.

Extended abstract of invited lecture.

[ bib | Local copy | At publisher's ] Back

This file was generated by bibtex2html 1.95.