S. Tucker Taft. Tutorial: proving safety of parallel / multi-threaded programs. In Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013. pages 1-2, ACM, 2013. [doi]
Abstract is missing.