Concepedia

Cristina David

CD

Statistics

Publications

13

Citations

364

H-Index

11

Active since

2007

Affiliations

National University of Singapore(Current)

University of Oxford

Singapore-MIT Alliance for Research and Technology

Durham University

Universidade Federal do Amazonas

Cristina David is an author at National University of Singapore specializing in formal methods, computer science, and deductive verification.

ORCID

Publications per year

2007–2019

13

Publications

13