%0 Conference Paper
%A Luong, Thanh Nhan
%A To, Van Khanh
%A Truong, Ninh Thuan
%B 9th Asian Conference on Intelligent Information and Database Systems
%C Kanazawa, Japan
%D 2017
%F SisLab:2541
%I Springer
%P 489-498
%T Checking Compliance of Program with Secure UML Model
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2541/