Skip to content

Rethinking Static Analysis by Combining Discrete and Continuous Reasoning.

Mayur Naik

VenueBSAS
Year2019
ProceedingsSAS

Browse the full SAS paper archive.