%A Dieu Huong Vu
%A Yuki Chiba
%A Kenro Yatake
%A Toshiaki Aoki
%J IEICE Transactions on Information and Systems
%T A Framework for Verifying the Conformance of Design to Its Formal Specifications
%N 6
%P 1137-1149
%V E98-D
%D 2015
%I IEICE
%L SisLab1473