Search the dblp DataBase
Ruth Davis :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jinyun Xue , Ruth Davis A Simple Program whose Derivation and Proof is Also. [Citation Graph (0, 0)][DBLP ] ICFEM, 1997, pp:132-139 [Conf ] Henry MacKay Walker , H. Conrad Cunningham , Ruth Davis , Douglas R. Troeger Formal methods in the undergraduate computer science curriculum (abstract). [Citation Graph (0, 0)][DBLP ] SIGCSE, 1995, pp:398-399 [Conf ] Jinyun Xue , Ruth Davis A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. [Citation Graph (0, 0)][DBLP ] Software - Concepts and Tools, 1997, v:18, n:4, pp:149-156 [Journal ] Visualization of Procedural Abstraction. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs