Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;M. Alpuente,2013
2. Lecture Notes in Computer Science;D. Aspinall,2000
3. LNAI;J.C. Blanchette,2011
4. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude manual (version 2.6)
5. Clavel, M., Eker, S., Lincoln, P., Meseguer, J.: Principles of Maude. In: Meseguer, J. (ed.) Electronic Notes in Theoretical Computer Science, vol. 4. Elsevier Science Publishers (1996)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Technologies for "Complete, Transparent & Interactive Models of Math" in Education;Electronic Proceedings in Theoretical Computer Science;2019-04-01
2. A metaprogramming framework for formal verification;Proceedings of the ACM on Programming Languages;2017-08-29
3. The Tinker tool for graphical tactic development;International Journal on Software Tools for Technology Transfer;2017-03-17
4. System description: Isabelle/jEdit in 2014;Electronic Proceedings in Theoretical Computer Science;2014-10-29