Author:
Nakamura Masaki,Ogata Kazuhiro,Futatsugi Kokichi
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. CafeOBJ,
http://www.ldl.jaist.ac.jp/cafeobj/
2. Bouhoula, A., Jacquemard, F.: Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems. Journal of Applied Logic 10(1), 127–143 (2012)
3. Futatsugi, K., Găină, D., Ogata, K.: Principles of proof scores in CafeOBJ. Theor. Comput. Sci. 464, 90–112 (2012)
4. Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Software Engineering with OBJ: Algebraic Specification in Action. In: Introducing OBJ*. Kluwers Academic Publishers (2000)
5. Guttag, J.V.: The specification and application to programming of abstract data types. PhD thesis, University of Toronto, Toronto, Ont., Canada, Canada (1975)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献