Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.

Ming Fu, Yu Zhang, Yong Li

Browse the full TASE paper archive.