Statistics
Publications
3
Citations
36
H-Index
3
Active since
2002
Affiliations
University of York(Current)
C. George is an author at University of York specializing in computer science, formal methods, and computing.
Publications per year
2002–2007
3
3
Combining case-based and model-based reasoning: a formal specification
LI Shu-guang, Qing Jiang, C. George · 2002 · 14 citations
Computing, Computer Science, Design +16
Model Checking RAISE Applicative Specifications
Juan Ignacio Perna, C. George · 2007 · 11 citations
Domain Consistency in Requirements Specification
Satyajit Acharya, C. George, Hrushikesha Mohanty · 2006 · 11 citations
1–3 of 3