swMATH30929MaRDI QIDQ42643FDOQ42643
Author name not available (Why is that?)
Official website: https://www.microsoft.com/en-us/research/publication/bane-a-library-for-scalable-constraint-based-program-analysis/
Cited In (1)
This page was built for software: BANE
