BibTeX entry
PostScript
| A Conservative Algorithm for Computing the Flow of Permissions in Java Programs. Gleb Naumovich. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 33--43, July 2002. |
Abstract
BibTeX entry PostScript
|