Adam Brown

2007
2	EE	Adam Brown, James C. Browne, Calvin Lin: Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking. IPDPS 2007: 1-5
2002
1	EE	Richard Cardone, Adam Brown, Sean McDirmid, Calvin Lin: Using mixins to build flexible widgets. AOSD 2002: 76-85

Coauthor Index

1	James C. Browne	[2]
2	Richard Cardone	[1]
3	Calvin Lin	[1] [2]
4	Sean McDirmid	[1]