3 citations · 3 across the 1 of their papers we have counts for
1 paper
William Heaven, Alessandra Russo
Formal techniques have been shown to be useful in the development of correct software. But the level of expertise required of practitioners of these techniques prohibits their wide…