Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report)
['Alexander Kaiser', 'Daniel Kroening', 'Thomas Wahl']
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report)