2 citations · 3 across the 3 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…