Statistics
Publications
1
Citations
31
H-Index
1
Active since
2014
Affiliations
Meta (United States)(Current)
Jonathan Coens is an author at Meta (United States) specializing in formal methods, program analysis, and formal verification.
Publications per year
2014–2014
1
1
Simon Marlow, Louis Brandy, Jonathan Coens et al. · 2014 · 31 citations · Full text
1–1 of 1