Statistics
Publications
1
Citations
11
H-Index
1
Active since
2020
Affiliations
Runtime Verification (United States)(Current)
Elaine Li is an author at Runtime Verification (United States).
Publications per year
2020–2020
1
1
Formalizing Correct-by-Construction Casper in Coq
Elaine Li, Traian Florin Şerbănuţă, Denisa Diaconescu et al. · 2020 · 11 citations
Rows per page
1–1 of 1