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