jnash Karma 90 Created 3 years ago Recent Submissions 1. ▲ Abella: A System for Reasoning about Relational Specifications (2014) (jfr.unibo.it) 1 point · 3 years ago · 0 comments All submissions on HN · View profile on HN