Languages

Biblio

Filters: Author is Peizhi Shi  [Clear All Filters]
2012
Guo Y, Feng X, Shao Z, Shi P.  2012.  Modular Verification of Concurrent Thread Management. 10th Asian Symposium on Programming Languages and Systems.