@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}}