Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo. Competent predicate abstraction in model checking. Science in China Series F: Information Sciences, 54(2):258-267, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.