@inproceedings{babic-hu-cav07,
	author = "Domagoj Babi\'c and Hu, Alan J.",
	title = "Structural Abstraction of Software Verification Conditions",
	booktitle = "Computer Aided Verification:  19th International Conference, CAV 2007",
	publisher = "Springer",
	year = 2007,
	pages = "366--378",
	note = "Lecture Notes in Computer Science Vol.~4590"
}