7 citations · 7 across the 1 of their papers we have counts for
1 paper
Ahmed Bouajjani, Michael Emmi, Constantin Enea +1
Efficient implementations of atomic objects such as concurrent stacks and queues are especially susceptible to programming errors, and necessitate automatic verification. Unfortuna…