8 citations · 13 across the 11 of their papers we have counts for
1 paper · 1 filter
Cedric Richter, Heike Wehrheim
Automatic software verifiers have become increasingly effective at the task of checking software against (formal) specifications. Yet, their adoption in practice has been hampered…