1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis +2
In recent years, there has been significant progress in the development and industrial adoption of static analyzers. Such analyzers typically provide a large, if not huge, number o…