Chris Male

	2008
1		Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov: Java Bytecode Verification for @NonNull Types. CC 2008: 229-244

Coauthor Index

1	Constantine Dymnikov	[1]
2	David J. Pearce	[1]
3	Alex Potanin	[1]