Verifying finite-state properties of large-scale programs

Bodden, Eric

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 = {https://www.bodden.de/pubs/bodden09phdthesis.pdf},
	Year = {2009},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/bodden09phdthesis.pdf}}