Author

Corina S. P

OpenAlex ID: A5010397759

Compositional Symbolic Execution through Program Specialization

2013 · José Miguel Rojas, Corina S. P · 16

Works count: 1

Citation count: 16

H-index: 1

I10-index: 1