Fred Blau

	2000
1		Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline: A certifying compiler for Java. PLDI 2000: 95-107

Coauthor Index

1	Kenneth Cline	[1]
2	Christopher Colby	[1]
3	Peter Lee	[1]
4	George C. Necula	[1]
5	Mark Plesko	[1]