Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
No abstract available.
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Jeanne Ferrante, Karl J. Ottenstein, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
Sahil Suneja, Canturk Isci, et al.
VEE 2015
Ron Cytron, Jeanne Ferrante, et al.
PLDI 1990