Verifying finite-state properties of large-scale programs (bibtex)
@phdthesis{McGillPhD,
	Keywords = {clara},
	Author = {Eric Bodden},
	Month = jun,
	Note = {Available in print through ProQuest},
	School = {McGill University},
	Title = {Verifying finite-state properties of large-scale programs},
	Url = {http://www.bodden.de/pubs/bodden09phdthesis.pdf},
	Year = {2009},
	Bdsk-Url-1 = {http://www.bodden.de/pubs/bodden09phdthesis.pdf}}
Powered by bibtexbrowser