Armaghan Naik

	2009
1		Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir Frolov, Erik Reeber, Armaghan Naik: Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. CAV 2009: 414-429

Coauthor Index

1	Vladimir Frolov	[1]
2	Rajnish Ghughal	[1]
3	Roope Kaivola	[1]
4	Naren Narasimhan	[1]
5	Sudhindra Pandav	[1]
6	Erik Reeber	[1]
7	Anna Slobodová	[1]
8	Christopher Taylor	[1]
9	Amber Telfer	[1]
10	Jesse Whittemore	[1]