Program analysis using empirical abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson. Program analysis using empirical abstraction. STTT, 25(4):431-452, August 2023. [doi]

This author has not been identified. Look up 'Vivian M. Ho' in GoogleThis author has not been identified. Look up 'Chris Alvin' in GoogleThis author has not been identified. Look up 'Jimmie D. Lawson' in GoogleThis author has not been identified. Look up 'Supratik Mukhopadhyay' in GoogleThis author has not been identified. Look up 'Brian Peterson' in Google

runs on WebDSL