Cong-Cong Xing
Enhancing program verifications by restricting object types
SAC, 2006.
@inproceedings{SAC-2006-Xing, author = "Cong-Cong Xing", booktitle = "{Proceedings of the 21st Symposium on Applied Computing}", doi = "10.1145/1141277.1141705", editor = "Hisham Haddad", isbn = "1-59593-108-2", pages = "1816--1821", publisher = "{ACM}", title = "{Enhancing program verifications by restricting object types}", year = 2006, }