Author:
Le Quang Loc,Gherghina Cristian,Qin Shengchao,Chin Wei-Ngan
Publisher
Springer International Publishing
Reference32 articles.
1. Glib-2.38.2 (2013),
https://developer.gnome.org/glib/
(accessed November 13, 2013)
2. Alpuente, M., Feliú, M.A., Villanueva, A.: Automatic inference of specifications using matching logic. In: PEPM, pp. 127–136 (2013)
3. Lecture Notes in Computer Science;J. Berdine,2007
4. Lecture Notes in Computer Science;J. Berdine,2011
5. Brotherston, J., Gorogiannis, N.: Cyclic abduction of inductively defined safety and termination preconditions. Technical Report RN/13/14, University College London (2013)
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献