Author:
Autexier Serge,Mossakowski Till
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. S. Autexier, D. Hutter, H. Mantel, and A. Schairer. Towards an evolutionary formal software-development using CASL. In C. Choppy, D. Bert, and P. Mosses, (Eds.), WADT’99, LNAI 1827, 73–88, Springer-Verlag, 2000.
2. R. Boulton, K. Slind, A. Bundy, and M. Gordon: An Interface between CLAM and HOL, In J. Grundy and M. Newey (eds.), Proceedings of TPHOLs’98, LNAI 1479, 87–104, Springer, Canberra, Australia, September/October 1998.
3. M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 173:311–347, 1997.
4. 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.
5. L. A. Dennis, G. Collins, M. Norrish, R. Boulton, K. Slind, G. Robinson, M. Gordon, and T. Melham. The PROSPER toolkit. In S. Graf and M. Schwartbach, eds., Tools and Algorithms for Constructing Systems, TACAS, Berlin, Germany, LNAI 1785, 78–92. Springer-Verlag, 2000.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献