Author:
Autexier Serge,Hutter Dieter,Mossakowski Till,Schairer Axel
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Lect Notes Comput Sci;S. Autexier,2000
2. LNAI;S. Autexier,2002
3. CoFI Language Design Task Group. The Common Algebraic Specification Language ( Casl)—Summary, Version 1.0 and additional Note S-9 on Semantics, available from http://www.cofi.info , 1998.
4. D. Hutter. Management of change in verification systems. In Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000, pages 23–34. IEEE Computer Society, 2000.
5. S. Autexier, D. Hutter, H. Mantel, A. Schairer: System Description: INKA 5.0—A Logic Voyager. In H. Ganzinger, CADE-16, Springer, LNAI 1632, 1999.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Management of Change in Declarative Languages;Lecture Notes in Computer Science;2012
2. Interpretation of Locales in Isabelle: Theories and Proof Contexts;Lecture Notes in Computer Science;2006
3. Enhanced Theorem Reuse by Partial Theory Inclusions;Artificial Intelligence and Symbolic Computation;2006
4. Engineering Mathematical Knowledge;Lecture Notes in Computer Science;2006
5. Software tools for safety-critical software development;International Journal on Software Tools for Technology Transfer;2005-09-23