Ruth Davis

	2009
4		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		Henry MacKay Walker, H. Conrad Cunningham, Ruth Davis, Douglas R. Troeger: Formal methods in the undergraduate computer science curriculum (abstract). SIGCSE 1995: 398-399

Coauthor Index

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]

Colors in the list of coauthors