Verification Tools for Transactional Programs

Book Chapter 2015