Languages

Modular Verification of Concurrent Thread Management

TitleModular Verification of Concurrent Thread Management
Publication TypeConference Paper
Year of Publication2012
AuthorsGuo Y, Feng X, Shao Z, Shi P
Conference Name10th Asian Symposium on Programming Languages and Systems
Date Published12/2012
PublisherSpringer Verlag
Conference LocationKyoto Japan