Publisher
Springer International Publishing
Reference17 articles.
1. Lecture Notes in Computer Science;B Beckert,2016
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);W Ahrendt,2005
3. Beckert, B., Ulbrich, M.: Trends in relational program verification. Principled Software Development, pp. 41–58. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98047-8_3
4. Fowler, M.: Refactoring: Improving the Design of Existing Code. Object Technology Series. Addison-Wesley, Boston (1999)
5. Garrido, A., Meseguer, J.: Formal specification and verification of Java refactorings. In: Proceedings of the 6th SCAM, pp. 165–174. IEEE Computer Society (2006)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Java Verification Tool KeY:A Tutorial;Lecture Notes in Computer Science;2024-09-13
2. Schematic Program Proofs with Abstract Execution;Journal of Automated Reasoning;2024-03-26
3. CEGAR-PT: A Tool for Abstraction by Program Transformation;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. The WhyRel Prototype for Modular Relational Verification of Pointer Programs;Tools and Algorithms for the Construction and Analysis of Systems;2023
5. Dijkstra’s Legacy on Program Verification;Edsger Wybe Dijkstra;2022-07-12