Person:
Harrold,
Mary Jean
Permanent Link
Associated Organization(s)
ORCID
ArchiveSpace Name Record
Publication Search Results
SPA: Symbolic Program Approximation for Scalable Path-sensitive Analysis