Author:
de Boer Frank,Bonsangue Marcello,Rot Jurriaan
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Interpolants in Nonlinear Theories Over the Reals;Tools and Algorithms for the Construction and Analysis of Systems;2016
2. Analyzing Inductively Defined Properties for Recursive Data Structures;Proceedings of the 7th Asia-Pacific Symposium on Internetware;2015-11-06
3. Node-Set Analysis for Linked Recursive Data Structures;2015 IEEE International Conference on Software Quality, Reliability and Security;2015-08
4. Model checking recursive programs interacting via the heap;Science of Computer Programming;2015-03
5. Interacting via the Heap in the Presence of Recursion;Electronic Proceedings in Theoretical Computer Science;2012-12-14