Concepedia

Author

C. George

University of York

Also Known As

C. George, Czapar F George

8

Publications

65

Citations

5

H-Index

19

Concepts

All Affiliations

University of York
CG

About

C. George is an author at University of York specializing in formal methods, formal specification, and software design.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

36

2

Software Analysis

3

3

36

3

Systems Engineering

2

2

22

4

Computer Science

1

1

11

5

Design

1

1

11

C. George

×

3

Publications

36

Citations

3

H-Index

YearCitations

Combining case-based and model-based reasoning: a formal specification

LI Shu-guang, Qing Jiang, C. George

2002

14

Model Checking RAISE Applicative Specifications

Juan Ignacio Perna, C. George

2007

11

Domain Consistency in Requirements Specification

Satyajit Acharya, C. George, Hrushikesha Mohanty

2006

11

Page 1