Author:
Owe Olaf,Fazeldehkordi Elahe,Lin Jia-Chun
Publisher
Springer International Publishing
Reference27 articles.
1. Lecture Notes in Computer Science;S Ajmani,2006
2. Banach, R., Poppleton, M., Jeske, C., Stepney, S.: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2–3), 301–329 (2007)
3. Lecture Notes in Computer Science;F Bannwart,2006
4. Bubel, R., et al.: Proof repositories for compositional verification of evolving software systems - managing change when proving software correct. Trans. Found. Mastering Change 1, 130–156 (2016)
5. Clavel, M., et al.: Maude manual (version 2.4) (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献