Christopher L. Conway
Author
Alternate names Christopher L. Conway, Christopher Conway
Institution New York University
Past institutions New York University, Columbia University
H-index: 6
I10-index: 5
Works count: 10
Citations count: 723
Cvc 4
2011 · Clark Barrett, Christopher L. Conway, et al. · Lecture notes in computer science
Incremental Algorithms for Inter-procedural Analysis of Safety Properties
2005 · Christopher L. Conway, Kedar S. Namjoshi, et al. · Lecture notes in computer science
Ndl
2004 · Christopher L. Conway, Stephen A. Edwards