14 citations · 14 across the 1 of their papers we have counts for
1 paper
Laurent Hubert, Nicolas Barré, Frédéric Besson +5
Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic langu…