| |
| 2009 | ||
|---|---|---|
| 4 | EE | Stefan Schäckeler, Weijia Shang, Ruth Davis: Visualization of Procedural Abstraction. Electr. Notes Theor. Comput. Sci. 224: 27-39 (2009) |
| 1997 | ||
| 3 | Jinyun Xue, Ruth Davis: A Simple Program whose Derivation and Proof is Also. ICFEM 1997: 132-139 | |
| 2 | Jinyun Xue, Ruth Davis: A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. Software - Concepts and Tools 18(4): 149-156 (1997) | |
| 1995 | ||
| 1 | EE | Henry MacKay Walker, H. Conrad Cunningham, Ruth Davis, Douglas R. Troeger: Formal methods in the undergraduate computer science curriculum (abstract). SIGCSE 1995: 398-399 |
| 1 | H. Conrad Cunningham | [1] |
| 2 | Stefan Schäckeler | [4] |
| 3 | Weijia Shang | [4] |
| 4 | Douglas R. Troeger | [1] |
| 5 | Henry MacKay Walker | [1] |
| 6 | Jinyun Xue | [2] [3] |