Statistics
Publications
3
Citations
178
H-Index
3
Active since
1989
Affiliations
University of Cambridge(Current)
Kim Ritter Wagner is an author at University of Cambridge.
Publications per year
1989–1997
3
3
The RAISE language, method and tools
Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner et al. · Formal Aspects of Computing · 1989 · 61 citations
Solving Recursive Domain Equations with Enriched Categories
Kim Ritter Wagner · 1994 · 46 citations
1–3 of 3