@inproceedings{Poskitt-Plump14a, author = {Christopher M. Poskitt and Detlef Plump}, title = {Verifying Monadic Second-Order Properties of Graph Programs}, booktitle = {Proc. International Conference on Graph Transformation (ICGT 2014)}, publisher = {Springer}, series = {LNCS}, volume = {8571}, pages = {33-48}, year = {2014}, urltopdf = {http://se.inf.ethz.ch/people/poskitt/publications/PoskittPlump.ICGT.2014.pdf}, }