220 followers Verification papers @verif_papers On the Testability of Properties Patterns. - Simone Hanazumi, Ana Cristina Vieira de Melo http://t.co/eRul0UtDC1 26 Aug 2015 Reply Repost Favourite