Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/12/01
Vol. E91-D
No. 12 ;
pp. 2804-2817
Type of Manuscript:
PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword:
CafeOBJ, equations, observational transition systems (OTSs), rewriting, specification, |