%0 Journal Article
%@ 1745-1361
%A Vu, Dieu Huong
%A Chiba, Yuki
%A Yatake, Kenro
%A Aoki, Toshiaki
%D 2015
%F SisLab:1473
%I IEICE
%J IEICE Transactions on Information and Systems
%N 6
%P 1137-1149
%T A Framework for Verifying the Conformance of Design to Its Formal Specifications
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1473/
%V E98-D