William R. Harris

	2009
1		William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps: Verifying Information Flow Control over Unbounded Processes. FM 2009: 773-789

Coauthor Index

1	Sagar Chaki	[1]
2	Somesh Jha	[1]
3	Nicholas Kidd	[1]
4	Thomas W. Reps	[1]