Skip to content

Quantitative Program Sketching using Lifted Static Analysis.

Aleksandar S. Dimovski

VenueBFASE
Year2022
ProceedingsFASE

Browse the full FASE paper archive.