Abella: A System for Reasoning about Relational Specifications (2014)

1 points| jnash | 3 years ago |jfr.unibo.it