Scholar

Ramla Ijaz

Google Scholar ID: BrNsafsAAAAJ

graduate student, Yale University

Google Scholar↗

Citations & Impact

All-time

Citations

109

H-index

3

i10-index

1

Publications

6

Co-authors

0

Publications

1 items

Combining Type Checking and Formal Verification for Lightweight OS Correctness

2024

Cited

0