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
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)