Verifiable functional purity in java.
Autor: | Finifter, Matthew, Mettler, Adrian, Sastry, Naveen, Wagner, David |
---|---|
Zdroj: | Proceedings of the 15th ACM Conference: Computer & Communications Security; 10/27/2008, p161-174, 14p |
Databáze: | Complementary Index |
Externí odkaz: |