Cordell Green

2006
2	EE	Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green: NASA's Exploration Agenda and Capability Engineering. IEEE Computer 39(1): 63-73 (2006)
1	EE	Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani: Intelligent Systems and Formal Methods in Software Engineering. IEEE Intelligent Systems 21(6): 71-81 (2006)

Coauthor Index

1	Thomas Ball	[1]
2	Matt Barry	[2]
3	Bernhard Beckert	[1]
4	Daniel E. Cooke	[2]
5	Reiner Hähnle	[1]
6	C. A. R. Hoare (Tony Hoare)	[1]
7	Michael Lowry	[2]
8	Sriram K. Rajamani	[1]
9	Silvio Ranise	[1]
10	Douglas R. Smith	[1]
11	Cesare Tinelli	[1]

Colors in the list of coauthors