作者机构:[1]Key Laboratory of High Confidence Software Technologies (Peking University) School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
相关基金:Supported by the National Natural Science Foundation of China (No. 61170053), the Natural Science Foundation of Beijing (No. 4112027), and the China HGJ Significant Project (No. 2009ZX01036-001-002-4)