DMCA

Compositional verification of termination-preserving refinement of concurrent programs (extended version). (2014)

Cached

Download Links

by Hongjin Liang , Xinyu Feng , Zhong Shao
Citations:1 - 0 self