@inproceedings{ASE-2001-Xia,
	author        = "Songtao Xia",
	booktitle     = "{Proceedings of the 16th IEEE International Conference on Automated Software Engineering}",
	ee            = "http://www.computer.org/csdl/proceedings/ase/2001/1426/00/14260440.pdf",
	isbn          = "0-7695-1426-X",
	pages         = "440",
	publisher     = "{IEEE Computer Society}",
	title         = "{Verify Properties of Mobile Code}",
	year          = 2001,
}