Cordell Green

	2010
4		Cordell Green: Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983. ASE 2010: 183-184
	2006
3		Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green: NASA's Exploration Agenda and Capability Engineering. IEEE Computer 39(1): 63-73 (2006)
2		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)
	2005
1		Alessandro Coglio, Cordell Green: A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. VSTTE 2005: 57-63

Coauthor Index

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

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page