Verifiable functional purity in java - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner. Verifiable functional purity in java. In Peng Ning, Paul F. Syverson, Somesh Jha, editors, Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008. pages 161-174, ACM, 2008. [doi]

This author has not been identified. Look up 'Matthew Finifter' in GoogleThis author has not been identified. Look up 'Adrian Mettler' in GoogleThis author has not been identified. Look up 'Naveen Sastry' in GoogleThis author has not been identified. Look up 'David Wagner' in Google

runs on WebDSL