Specification and Verification of Shared-Memory Concurrent Programs - LE DUY KHANH (2014)
Ph.D