Author:
Scheurer Dominic,Hähnle Reiner,Bubel Richard
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;W Ahrendt,2014
2. Lecture Notes in Computer Science;S Anand,2008
3. Lecture Notes in Computer Science;S Anand,2006
4. Beckert, B., Hähnle, R.: Reasoning and verification. IEEE Intell. Syst. 29(1), 20–29 (2014)
5. Beckert, B., Hähnle, R. (eds.): Verification of Object-Oriented Software: The KeY Approach. Springer, Berlin (2006)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献