Local Verification of Global Invariants in Concurrent Programs [chapter]

Ernie Cohen, Michał Moskal, Wolfram Schulte, Stephan Tobies
2010 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-14295-6_42 fatcat:c2nqbeotd5hzhi7zd4r2o4huay