Melanie Harries

	2008
1		Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati: Efficient software model checking of soundness of type systems. OOPSLA 2008: 493-504

Coauthor Index

1	Chandrasekhar Boyapati	[1]
2	Paul T. Darga	[1]
3	Michael Roberson	[1]