6 citations · 14 across the 7 of their papers we have counts for
1 paper · 2 filters
Li Huang, Sophie Ebersold, Alexander Kogtenkov +2
The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement…