Author:
Abdulla Parosh Aziz,Bouajjani Ahmed,Cederberg Jonathan,Haziza Frédéric,Rezine Ahmed
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Abdulla, P.A., Bouajjani, A., Cederberg, J., Haziza, F., Rezine, A.: Monotonic abstraction for programs with dynamic memory heaps. Technical Report 2008-015, Dept. of Information Technology, Uppsala University, Sweden (April 2008)
2. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.-K.: Algorithmic analysis of programs with well quasi-ordered domains. Inf. Comput. 160(1-2), 109–127 (2000)
3. Lecture Notes in Computer Science;P.A. Abdulla,2007
4. Lecture Notes in Computer Science;P.A. Abdulla,2007
5. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Inf. Comput. 127(2), 91–101 (1996)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献