Author:
Autexier Serge,Hutter Dieter,Mossakowski Till
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Autexier, S., Hutter, D.: Maintenance of formal software developments by stratified verification. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol. 2514. Springer, Heidelberg (2002)
2. Lecture Notes in Artificial Intelligence;S. Autexier,2005
3. Autexier, S., Müller, N.: Semantics-based change impact analysis for heterogeneous collections of documents. In: Gormish, M., Ingold, R. (eds.) Proceedings of 10th ACM Symposium on Document Engineering (DocEng2010), Manchester, UK (september 2010)
4. Lecture Notes in Artificial Intelligence;C. Ballarin,2006
5. Lecture Notes in Computer Science;M. Codescu,1998
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Adapting proof automation to adapt proofs;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018
2. Management of Change in Declarative Languages;Lecture Notes in Computer Science;2012