@inproceedings{SisLab2541,
       booktitle = {Advanced Topics in Intelligent Information and Database Systems},
           month = {April},
           title = {Checking Compliance of Program with Secure UML Model},
          author = {Thanh Nhan Luong and Van Khanh To and Ninh Thuan Truong},
       publisher = {Springer},
            year = {2017},
           pages = {489--498},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2541/}
}