@conference {155,
	title = {Detection of Security Vulnerabilities Using Guided Model Checking},
	booktitle = {24th International Conference on Logic Programming (ICLP)},
	year = {2008},
	publisher = {Springer},
	organization = {Springer},
	address = {Udine, Italy},
	author = {Tsitovich, A.}
}
