Computer security from a programming language and static analysis
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 ]
This file was generated by