228 followers Verification papers @verif_papers Compliance and Testing Preorders Differ. - Giovanni Bernardi 0001, Matthew Hennessy http://t.co/k5Y4utiIHE 22 May 2015 Reply Repost Favourite