Author:
Grebing Sarah,Ulbrich Mattias
Publisher
Springer International Publishing
Reference46 articles.
1. 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 (2016). https://doi.org/10.1007/978-3-319-49812-6
2. Aitken, J.S., Gray, P., Melham, T., Thomas, M.: Interactive theorem proving: an empirical study of user activity. J. Symbolic Comp. 25(2), 263–284 (1998)
3. Aitken, J.S., Melham, T.F.: An analysis of errors in interactive proof attempts. Interact. Comput. 12(6), 565–586 (2000)
4. Aitken, S., Gray, P., Melham, T., Thomas, M.: A study of user activity in interactive theorem proving. In: Task Centred Approaches To Interface Design, pp. 195–218. Dept. of Computing Science (1995), gIST Technical Report G95.2
5. Lecture Notes in Computer Science;M Archer,1997
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献