Statistics
Publications
2
Citations
66
H-Index
2
Active since
2004
Affiliations
New York University(Current)
Christopher L. Conway is an author at New York University specializing in formal methods, computer engineering, and formal verification.
Publications per year
2004–2007
2
2
Christopher L. Conway, Stephen A. Edwards · 2004 · 41 citations
Programming asynchronous layers with CLARITY
Prakash Chandrasekaran, Christopher L. Conway, Joseph Joy et al. · 2007 · 25 citations
1–2 of 2