A Specification Translation From Behavioral Specifications to Rewrite Specifications
IEICE Transactions on Information and Systems - Japan
doi 10.1093/ietisy/e91-d.5.1492
Full Text
Open PDFAbstract
Available in full text
Categories
Date
May 1, 2008
Authors
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)