62 followers arXiv CompSci @arXiv_cs Verifying Monadic Second-Order Properties of Graph Programs. (arXiv:1405.5927v1 [cs.LO]) http://t.co/UvgeBDoWFL 26 May 2014 Reply Repost Favourite