221 followers ArXiv cs.LO @arxiv_cslo Incorrectness Logic for Graph Programs https://t.co/iUcM5EToe9 15 Mar 2022 Reply Repost Favourite