Author:
Kirkegaard C.,Moller A.,Schwartzbach M.I.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. High Assurance Software for Financial Regulation and Business Platforms;Lecture Notes in Computer Science;2022
2. Reflection-aware static regression test selection;Proceedings of the ACM on Programming Languages;2019-10-10
3. A Brief Survey of Related Work;String Analysis for Software Verification and Security;2017
4. XQuery and static typing: tackling the problem of backward axes;ACM SIGPLAN Notices;2015-12-18
5. XQuery and static typing: tackling the problem of backward axes;Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming;2015-08-29