Dhruv C. Makwana

DC

Statistics

Publications

1

Citations

20

H-Index

1

Active since

2023

Affiliations

Dhruv C. Makwana is an author at University of Cambridge specializing in formal methods, model checking, and operating systems.

Publications per year

2023–2023

1

Publications

1