Matthew Finifter

2008
1	EE	Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner: Verifiable functional purity in java. ACM Conference on Computer and Communications Security 2008: 161-174

Coauthor Index

1	Adrian Mettler	[1]
2	Naveen Sastry	[1]
3	David Wagner	[1]