 | 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 |
