[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Threads as Resource for Concurrency Verification
Le, Duy-Khanh, Chin, Wei-Ngan, Teo, Yong MengYear:
2015
Language:
english
DOI:
10.1145/2678015.2682540
File:
PDF, 716 KB
english, 2015