Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Framework for Flexible Program Evolution and Verification of Distributed Systems;Communications in Computer and Information Science;2020
2. A formal model for Multi Software Product Lines;Science of Computer Programming;2019-03
3. A Flexible Framework for Program Evolution and Verification;Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development;2019
4. Behavioral Program Logic;Lecture Notes in Computer Science;2019
5. Making Sense of Complex Applications: Constructive Design, Features, and Questions;Lecture Notes in Computer Science;2019