ISSN 1000-1239 CN 11-1777/TP
A Temporal Logic with a Semantics Defined on the Static Structure and Dynamic Behavior of Program
Chen Donghuo, Liu Quan, Jin Haidong, Zhu Fei, Wang Hui
Journal of Computer Research and Development . 2016, (9): 2067 -2084 .  DOI: 10.7544/issn1000-1239.2016.20150370