Publisher
Springer International Publishing
Reference37 articles.
1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Boston (1986)
2. Lecture Notes in Computer Science,2016
3. Lecture Notes in Computer Science;M Balser,2000
4. Lecture Notes in Computer Science;G Barthe,2011
5. Beckert, B., Ulbrich, M.: Trends in relational program verification. In: Müller, P., Schaefer, T. (eds.) Principled Software Development, pp. 41–58. Springer, Cham (2018).
https://doi.org/10.1007/978-3-319-98047-8_3
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics;Electronic Proceedings in Theoretical Computer Science;2022-08-09
2. Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives;The Logic of Software. A Tasting Menu of Formal Methods;2022
3. Delta-based verification of software product families;Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2021-10-17
4. Automating Software Re-engineering;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020