Author:
Beckert Bernhard,Grebing Sarah,Ulbrich Mattias
Publisher
Springer International Publishing
Reference13 articles.
1. Hähnle, R., Huisman, M.: Deductive software verification: From pen-and-paper proofs to industrial tools. LNCS, vol. 10000 (2017)
2. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P.H., Ulbrich, M., eds.: Deductive Software Verification - The KeY Book: From Theory to Practice. LNCS, vol. 10001. Springer, Cham (2016)
3. Beckert, B., Grebing, S., Böhl, F.: How to put usability into focus: Using focus groups to evaluate the usability of interactive theorem provers. In: Benzmüller, C., Woltzenlogel Paleo, B. (eds.): UITP 2014. EPTCS , vol. 167, pp. 4–13 (July 2014)
4. Lecture Notes in Computer Science;B Beckert,2015
5. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. SIGSOFT/SEN 31(3), 1–38 (2006)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Seamless Interactive Program Verification;Lecture Notes in Computer Science;2020
2. Understanding Counterexamples for Relational Properties with DIbugger;Electronic Proceedings in Theoretical Computer Science;2019-07-09