Author:
Li Yongjian,Pang Jun,Lv Yi,Fan Dongrui,Cao Shen,Duan Kaiqiang
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;A Pnueli,1996
2. Björner, N., Browne, A., Manna, Z.: Automatic generation of invariants and intermediate assertions. Theoret. Comput. Sci. 173(1), 49–87 (1997)
3. Lecture Notes in Computer Science;T Arons,2001
4. Lecture Notes in Computer Science;A Pnueli,2001
5. Lecture Notes in Computer Science;A Tiwari,2001
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献