7 citations · 15 across the 10 of their papers we have counts for
1 paper · 1 filter
Roland Meyer, Sebastian Wolff
Verification of concurrent data structures is one of the most challenging tasks in software verification. The topic has received considerable attention over the course of the last…