Author:
Holík Lukáš,Hruška Martin,Lengál Ondřej,Rogalewicz Adam,Vojnar Tomáš
Publisher
Springer International Publishing
Reference27 articles.
1. Abdulla, P.A., Holík, L., Jonsson, B., Lengál, O., Trinh, C.Q., Vojnar, T.: Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica 53(4), 357–385 (2016). http://dx.doi.org/ 10.1007/s00236-015-0235-0
2. Lecture Notes in Computer Science;A Albargouthi,2015
3. Lecture Notes in Computer Science;J Berdine,2012
4. Lecture Notes in Computer Science;D Beyer,2006
5. Botinčan, M., Dodds, M., Magill, S.: Refining existential properties in separation logic analyses. Technical report (2015). arXiv:1504.08309
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献